Encoding Synchronous Interactions Using Labelled Petri Nets.

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

Browse the full Coordination paper archive.