A calculus of atomic actions
From MaRDI portal
Publication:5261501
Recommendations
Cited in
(23)- Model checking concurrent programs
- scientific article; zbMATH DE number 1612485 (Why is no real title available?)
- On automation in the verification of software barriers: experience report
- Flashix: modular verification of a concurrent and crash-safe flash file system
- scientific article; zbMATH DE number 4121471 (Why is no real title available?)
- Starling: lightweight concurrency verification with views
- Verifying a concurrent garbage collector using a rely-guarantee methodology
- A criterion for atomicity
- Verifying a concurrent garbage collector with a rely-guarantee methodology
- A mechanized proof environment for the convenient computations proof method
- scientific article; zbMATH DE number 7136664 (Why is no real title available?)
- Distributed Computing
- Layered concurrent programs
- Multithreaded testing of program interfaces
- Commutativity for concurrent program termination proofs
- A Coq library for verification of concurrent programs
- Dynamic reductions for model checking concurrent software
- Synchronizing the asynchronous
- An assertional proof for a construction of an atomic variable
- Model Checking Software
- Verifying the correctness of distributed systems via mergeable parallelism
- A mechanized refinement proof of the Chase-Lev deque using a proof system
- Resource protection using atomics. Patterns and verification
This page was built for publication: A calculus of atomic actions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261501)