Communicating sequential processes
Communicating sequential processes
A simple approach to specifying concurrent systems
Communications of the ACM
The existence of refinement mappings
Theoretical Computer Science
Social processes and proofs of theorems and programs
Communications of the ACM
Refinement Calculus, Part II: Parallel and Reactive Programs
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Eternity Variables to Simulate Specifications
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Using eternity variables to specify and prove a serializable database interface
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Eternity variables to prove simulation of specifications
ACM Transactions on Computational Logic (TOCL)
Simulation refinement for concurrency verification
Science of Computer Programming
Hi-index | 0.00 |