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

by Filippo Bonchi , Fabio Gadducci , Giacoma Valentina Monreale
Citations:8 - 6 self