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.
Notes:

[an error occurred while processing this directive]

Abstract State Machines