Formal Techniques for Networked and Distributed Systems: FORTE 2001/en-ca/formal-techniques-for-networked-and-distributed-systems-forte-2001/49874725-5F8A-4F56-BC68-F2BB050788C1.html49874725-5F8A-4F56-BC68-F2BB050788C1
Formal Techniques for Networked and Distributed Systems: FORTE 2001