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:

[an error occurred while processing this directive]

Abstract State Machines