University of Sussex
Browse

A Bisimulation-Based Semantic Theory of Safe Ambients

journal contribution
posted on 2023-06-07, 21:46 authored by Massimo Merro, Matthew Hennessy
No description supplied

History

Publication status

  • Published

Journal

ACM Transactions on Programming Languages and Systems

ISSN

0164-0925

External DOI

Issue

2

Volume

28

Page range

290-330

Pages

41.0

Department 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

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Keywords

    Uncategorised value

    Licence

    Copyright not evaluated

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC