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.