Computing Publications

Publications Home » From process algebra to Java code

From process algebra to Java code

Andrew Phillips, Susan Eisenbach, Daniel Lister

Conference or Workshop Paper
Proceedings of formal techniques for Java-like programs (FTfJP'02), affiliated with ECOOP'02, Malaga, June 2002
June, 2002
Abstract

The delta-pi-calculus, a calculus based on the pi-calculus, is a model for mobile distributed computation. The delta-pi-calculus can be used to specify applications, in order to reason about their security and correctness properties. The delta-pi primitives have been implemented as a Java API. The implementation in Java provides a means of bridging the gap between application specification and implementation.

PDF of full publication (222 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.