A calculus of atomic actions
- 21 January 2009
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 44 (1), 2-15
- https://doi.org/10.1145/1594834.1480885
Abstract
No abstract availableThis publication has 19 references indexed in Scilit:
- A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded ProgramsElectronic Notes in Theoretical Computer Science, 2007
- A Structural Proof of the Soundness of Rely/guarantee RulesJournal of Logic and Computation, 2007
- A semantics for concurrent separation logicTheoretical Computer Science, 2007
- Modular verification of a non-blocking stackACM SIGPLAN Notices, 2007
- Hazard pointers: safe memory reclamation for lock-free objectsIEEE Transactions on Parallel and Distributed Systems, 2004
- Checking Concise Specifications for Multithreaded Software.The Journal of Object Technology, 2004
- The rely-guarantee method for verifying shared variable concurrent programsFormal Aspects of Computing, 1997
- Verifying properties of parallel programsCommunications of the ACM, 1976
- ReductionCommunications of the ACM, 1975
- A new solution of Dijkstra's concurrent programming problemCommunications of the ACM, 1974