Reactive systems, barbed semantics, and the mobile ambients (2009)

by F Bonchi, F Gadducci, G V Monreale
Venue:In Proc. FOSSACS