On the Expressiveness of Pure Mobile Ambients
From MaRDI portal
Publication:4917029
DOI10.1016/S1571-0661(05)82506-XzbMath1260.68281MaRDI QIDQ4917029
Publication date: 26 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
On the Expressiveness of Pure Mobile Ambients, A taxonomy of process calculi for distribution and mobility, Fair ambients, Typing evolving ambients, A typed encoding of boxed into safe ambients, A Type Inference Algorithm for Secure Ambients, On the Expressiveness of the π-Calculus and the Mobile Ambients
Cites Work