Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
An Abstract Communication Model

Uwe Glässer, Yuri Gurevich, and Margus Veanes

Abstract

We present an abstract communication model. The model is quite general even though it was developed in the process of specifying a particular network architecture, namely the Universal Plug and Play (UPnP) architecture. The generality of the model has been confirmed by its reuse for different architectures. The model is based on distributed abstract state machines and implemented in the specification language AsmL.

Details

Publication typeTechReport
NumberMSR-TR-2002-55
Pages34
InstitutionMicrosoft Research
> Publications > An Abstract Communication Model