Local Liveness for Compositional Modeling of Fair Reactive Systems
Abstract elided by the publisher.
Related papers
- Fair reactive programming POPL 2014
- Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications TACAS 2009
- Diamonds are not forever: liveness in reactive programming with guarded recursion POPL 2021
- Tight Cutoffs for Guarded Protocols with Fairness VMCAI 2016
- Local and Compositional Reasoning for Optimized Reactive Systems CAV 2019
- Context-bounded verification of liveness properties for multithreaded shared-memory programs POPL 2021
- Reducing liveness to safety in first-order logic POPL 2018
- The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps Onward! 2024