A Formal Semantics of Synchronous Interworkings

@inproceedings{Mauw1993AFS,
  title={A Formal Semantics of Synchronous Interworkings},
  author={Sjouke Mauw and M Van Wijk and T. Winter},
  year={1993}
}
Interworkings can be considered as a synchronous variant of Message Sequence Charts. In this paper we present the formal semantics of interworkings in an algebraic framework. We concentrate on the main operators for combining interworkings: the interworking sequencing and the interworking merge. 
Highly Cited
This paper has 30 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
17 Extracted Citations
9 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-9 of 9 references

Syntax and Semantics of Basic Sequence Charts, Contribution to the Study Group X

  • E Rudolph
  • Syntax and Semantics of Basic Sequence Charts…
  • 1992

Syntax and semantics of synchronous interworkings , Philips IST technical report RWB-508-RE-92436

  • S Mauw, M Van Wijk, T Winter
  • Syntax and semantics of synchronous interworkings…
  • 1992

A formalisation of Message Sequence Charts, SDL '91, Evolving Methods

  • P A J Tilanus
  • A formalisation of Message Sequence Charts, SDL…
  • 1991

Combining Services, Message Sequence Charts and SDL: Formalism, Method and Tools, SDL '91, Evolving Methods

  • V Encontre
  • Combining Services, Message Sequence Charts and…
  • 1991

Towards an SDL-Design-Methodology Using Sequence Charts Segments, SDL '91, Evolving Methods

  • E Rudolph, P Graubmann, J Grabowski
  • Towards an SDL-Design-Methodology Using Sequence…
  • 1991

Process algebra, Cambridge Tracts in Theoretical Computer Science 18

  • J C M Baeten, W P Weijland
  • Process algebra, Cambridge Tracts in Theoretical…
  • 1990

Similar Papers

Loading similar papers…