Search results for: T E J Vos
Lecture Notes in Computer Science > Principles of Distributed Systems > Session I (Design of Distributed Systems I) > 52-66
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Services > 77-92