Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding (0)

by F Bonchi, F Gadducci, G V Monreale
Venue:Electronic Notes in Theoretical Computer Science