SafeDpi: A language for controlling mobile code

Hennessy, Matthew, Rathke, Julian and Yoshida, Nobuko (2005) SafeDpi: A language for controlling mobile code. Acta Informatica, 42 (4-5). pp. 227-290. ISSN 1432-0525

Full text not available from this repository.
Item Type: Article
Additional Information: 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.
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: Matthew Hennessy
Date Deposited: 06 Feb 2012 18:17
Last Modified: 26 Mar 2012 14:14
URI: http://sro.sussex.ac.uk/id/eprint/15629
📧 Request an update