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 YoshidaNo description supplied
History
Publication status
- Published
Journal
Acta InformaticaISSN
1432-0525External DOI
Issue
4-5Volume
42Page range
227-290Pages
65.0Department 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-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC