Stream-Based Specification of Mobile Systems

  title={Stream-Based Specification of Mobile Systems},
  author={Radu Grosu and Ketil St\olen},
  journal={Formal Aspects of Computing},
This paper presents a formal specification technique for mobile systems based on input/output relations 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. The models are formulated in the context… CONTINUE READING
10 Citations
41 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 41 references


  • Broy
  • and Stølen, K.: Specification and Development of…
  • 2001
1 Excerpt

Verification of SDL specifications on base of a stream semantics

  • U. Hinkel
  • In Proceedings of the Workshop of the SDL Forum…
  • 1998

A survey of stream processing

  • R. Stephens
  • Acta Informatica,
  • 1997


  • R. Grosu, Stølen
  • and Broy, M.: A denotational model for mobile…
  • 1997

Similar Papers

Loading similar papers…