A model and proof system for asynchronous networks
Compositional specification and verification of distributed systems
ACM Transactions on Programming Languages and Systems
Proceedings of the fourth annual ACM symposium on Principles of distributed computing - PODC ’85
A theory of normed simulations