A Bisimulation-Based Semantic Theory of Safe Ambients

Merro, Massimo and Hennessy, Matthew (2005) A Bisimulation-Based Semantic Theory of Safe Ambients. ACM Transactions on Programming Languages and Systems, 28 (2). pp. 290-330. ISSN 0164-0925

Full text not available from this repository.
Item Type: Article
Additional Information: Originality: Solves a much researched problem: how to give a compositional account of Ambients, a popular calculus for describing mobile agents. Rigour: Uses formal mathematical principles, including labelled transition systems and bismulation equivalences. Significance: First comprehensive semantic theory for the language of Ambients, a well-studied formal calculus for mobile agents. Impact: 91 citations (including conference version) in Google Scholar. Has spawned related work on calculi similar to Ambients. Conference version appeared in POPL, top rated long established conference, with acceptance rate less than 20%.
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: Matthew Hennessy
Date Deposited: 06 Feb 2012 18:55
Last Modified: 07 Jun 2012 08:53
URI: http://sro.sussex.ac.uk/id/eprint/18927
📧 Request an update