Protocol Classes for Designing Reliable Distributed Environments
No abstract available.
DOI 10.1007/bfb0053068
Related papers
- Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols ICFP 2023
- Isolates, channels, and event streams for composable distributed programming Onward! 2015
- Designing Asynchronous Multiparty Protocols with Crash-Stop Failures ECOOP 2023
- Building reliable, high-performance networks with the Nuprl proof development system JFP 2004
- Reward Augmentation in Reinforcement Learning for Testing Distributed Systems OOPSLA 2024
- Asynchronous programming, analysis and testing with state machines PLDI 2015
- Reliable State Machines: A Framework for Programming Reliable Cloud Services ECOOP 2019
- A Stepwise Refinement Heuristic for Protocol Construction TOPLAS 1992