Composing Communicating Systems, Synchronously.

Franco Barbanera, Ivan Lanese, Emilio Tuosto

Browse the full ISoLA paper archive.