Synthesising Full-Information Protocols
Authors
- Dietmar Berwanger (ORCID: https://orcid.org/0000-0001-9206-2644)
- Laurent Doyen (ORCID: https://orcid.org/0000-0002-3788-5696)
- Thomas Soullard
Institutions
- Laboratoire Méthodes Formelles (FR)
Publication Details
- Journal
- SPIRE - Sciences Po Institutional REpository
- Published
- 2025-01-01
- DOI
- https://doi.org/10.4230/lipics.fsttcs.2025.13
- Primary Topic
- Distributed systems and fault tolerance
- Type
- article
- Field-Weighted Citation Impact
- 0.00