Reactive Systems, Barbed Semantics, and the Mobile Ambients.

Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

Browse the full FOSSACS paper archive.