ACM - Normas
Frits Vaandrager
David Griffioen
ACM Transactions on Computational Logic
models, formalisms, correctness, p
Compositional specification and verification of distributed systems
Proving Nondeterministically Specified Safety Properties Using Progress Measures
fundamental algorithms, Addison Wesley Longman Publishing Co
What good is temporal logic? In Information Processing 83, R
Hierarchical correctness proofs for distributed algorithms