A formal semantics of synchronous interworkings
Sjouke Mauw, M. van Wijk, Tom De Winter · 1993
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.