File(s) not publicly available
A Bisimulation-Based Semantic Theory of Safe Ambients
journal contribution
posted on 2023-06-07, 21:46 authored by Massimo Merro, Matthew HennessyNo description supplied
History
Publication status
- Published
Journal
ACM Transactions on Programming Languages and SystemsISSN
0164-0925External DOI
Issue
2Volume
28Page range
290-330Pages
41.0Department affiliated with
- Informatics Publications
Notes
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%.Full text available
- No
Peer reviewed?
- Yes