Labeled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (2008)

by Filippo Bonchi , Fabio Gadducci , Giacoma Valentina Monreale
Citations:7 - 5 self