Login / Signup

A decentralised graphical implementation of mobile ambients.

Fabio GadducciGiacoma Valentina Monreale
Published in: J. Log. Algebraic Methods Program. (2011)
Keyphrases