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
|
Calculus
in Java
