Fault-tolerant multiparty session types
| Author: | Kirstin PetersORCiDGND, Uwe Nestmann, Christoph Wagner |
|---|---|
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/96812 |
| ISBN: | 9783031086786OPAC |
| ISBN: | 9783031086793OPAC |
| ISSN: | 0302-9743OPAC |
| ISSN: | 1611-3349OPAC |
| Parent Title (English): | Lecture Notes in Computer Science |
| Publisher: | Springer |
| Place of publication: | Cham |
| Type: | Article |
| Language: | English |
| Year of first Publication: | 2022 |
| Release Date: | 2022/07/21 |
| Volume: | 13273 |
| First Page: | 93 |
| Last Page: | 113 |
| Note: | Published in: Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings. Edited by Mohammad Reza Mousavi, Anna Philippou. |
| DOI: | https://doi.org/10.1007/978-3-031-08679-3_7 |
| Institutes: | Fakultät für Angewandte Informatik |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Theorie verteilter und paralleler Systeme |
