Login / Signup

Deriving structural labelled transitions for mobile ambients.

Julian RathkePawel Sobocinski
Published in: Inf. Comput. (2010)
Keyphrases