Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Universal Plug and Play (UPnP)


Citation: Uwe Glässer, Yuri Gurevich, and Margus Veanes, "Universal Plug and Play Machine Models". Microsoft Research Technical Report MSR-TR-2001-59, June 2001.
Summary: An ASM specification of the Universal Plug and Play (UPnP) architecture for peer-to-peer network connectivity of intelligent devices.
Subjects: Architectures
Download: From Foundations of Software Engineering at Microsoft Research in Microsoft Word or PostScript formats.
Notes: