Robustness in the Presence of Liveness
No abstract available.
Related papers
- Liveness of Communicating Transactions (Extended Abstract) APLAS 2010
- Necessity specifications for robustness OOPSLA 2022
- Guardians and Actions: Linguistic Support for Robust, Distributed Programs TOPLAS 1983
- Guardians and Actions: Linguistic Support for Robust, Distributed Programs POPL 1982
- Lipschitz Robustness of Timed I/O Systems VMCAI 2016
- Robustness Analysis of Finite Precision Implementations APLAS 2013
- Modular Verification of Concurrent Programs POPL 1982
- Liveness of Randomised Parameterised Systems under Arbitrary Schedulers CAV 2016