An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
Abstract elided by the publisher.
Related papers
- The Temporal Logic of Actions TOPLAS 1994
- Distributed Cooperation with Action Systems TOPLAS 1988
- Verifying safety properties of concurrent Java programs using 3-valued logic POPL 2001
- A Hoare Logic for Symmetry Properties OOPSLA 2025
- Modular Verification of Concurrent Programs POPL 1982
- A Concurrent Specification of POSIX File Systems ECOOP 2018
- Verifying distributed systems: the operational approach POPL 2009
- A program logic for concurrent objects under fair scheduling POPL 2016