Stream-Based Specification of Mobile Systems

摘要

This paper presents a formal specification technique for mobile systems based on input/output relatins on streams. We consider networks of components communicating asynchronously via unbounded directed channels. Mobility is achieved by allowing the components to communicate channel ports. We distinguish between many-to-many and two variants of point-to-point communication. The communication paradigms are semantically underpinned by denotational models.