![](/img/cover-not-exists.png)
RPO semantics for mobile ambients
BONCHI, FILIPPO, GADDUCCI, FABIO, MONREALE, GIACOMA VALENTINAVolume:
24
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s0960129512000333
Date:
August, 2014
File:
PDF, 1.81 MB
english, 2014