Simple Representative Instantiations for Multicast Protocols
Abstract elided by the publisher.
Related papers
- How and Why to Encapsulate Class Trees OOPSLA 1995
- System Support for Object Groups OOPSLA 1998
- Connectivity graphs: a method for proving deadlock freedom based on separation logic POPL 2022
- Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols OOPSLA 2023
- Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures POPL 2019
- Complete Multiparty Session Type Projection with Automata CAV 2023
- SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq TOPLAS 2023
- Expressive modular fine-grained concurrency specification POPL 2011