University of Sussex
Browse

File(s) not publicly available

SafeDpi: A language for controlling mobile code

journal contribution
posted on 2023-06-07, 19:30 authored by Matthew Hennessy, Julian Rathke, Nobuko Yoshida
No description supplied

History

Publication status

  • Published

Journal

Acta Informatica

ISSN

1432-0525

Issue

4-5

Volume

42

Page range

227-290

Pages

65.0

Department affiliated with

  • Informatics Publications

Notes

Originality: The first fully worked out semantic theory for a typed higher-order distributed agent calculus. Rigour: Uses formal mathematical principles to establish properties of calculus. Significance: First use of dependent and existential types to control behaviour of migrating agents; semantic theory shown to be fully-abstract. Impact: 25 citations (for all versions) in Google Scholar. Has set the standard for semantic theories of higher-order mobile calculi.

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC