Implementing the Calculus in Java

Liwu Li, University of Windsor, Canada

REFEREED
ARTICLE

Abstract

Mobile communicating systems are ubiquitous in the modern world. The -calculus proposed by Milner et al [Milner et al. 1992] sets a theoretical foundation for modeling mobile communicating systems such as the Internet, in which links can be sent from processes to processes and a process can use a received link to interact with another process. Here, we present a language named -language for programming -calculus processes and a compiler named pi2j for translating the -programs to Java code, which can be compiled with the Java compiler to JVM bytecode and, then, executed on the Java Virtual Machine. Thus, we implement the -calculus in the Java language.

Note: Due to the typographical sophistication of this article, no HTML version is available. Please use the PDF version.

About the author

Dr. Liwu Li is a professor in School of Computer Science at University of Windsor, Canada. His research interests include object-oriented language design and implementation, object-oriented software analysis and design, and software process design and execution. He can be reached at liwu@uwindsor.ca and http://www.uwindsor.ca/liwu.

Cite this article as follows: Dr. Liwu Li: “Implementing the -Calculus in Java", in Journal of Object Technology, vol. 4, no. 2, March-April 2004, pp. 157-177 http://www.jot.fm/issues/issue_2005_03/article5