Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

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: