Abstract Communication Model

Citation: Uwe Glässer, Yuri Gurevich, and Margus Veanes, "An Abstract Communication Model". Microsoft Research Technical Report MSR-TR-2002-55, May 2002.
Summary: An abstract model for communication networks is presented in AsmL, with applications to UPnP and XLANG.
Subjects: Abstract Algorithms, Distributed Systems
Download: From Foundations of Software Engineering at Microsoft Research in Microsoft Word or PDF formats.