Volume 1 : Number 2 : Paper 2 |
|
December 1998 Special Issue of Best Papers presented at CLEI'97. Valparaiso
|
Title:
Pi+- Calculus: A Calculus for Concurrent Processes with Constraints
Authors and Affiliations:
Camilo Rueda,
Frank D Valencia, Pontificia Universidad Javeriana Cali, Colombia
Juan Francisco Diaz, Universidad del Valle, Colombia
Abstract:
The Pi-calculus is a formal model of concurrent computation based on the notion of naming. It has an important role to play in the search for more abstract theories of concurrent and communicating systems. In this paper we augment the Pi-calculus with a constraint store and add the notion of constraint agent to the standard Pi-calculus concept of agent. We call this extension the Pi+-calculus. We also extend the notion of barbed bisimulation to define behavioral equivalence for the Pi+-calculus and use it to characterize some equivalent behaviors derived from constraint agents. The paper discusses examples of the extended calculus showing the transparent interaction of constraints and communicating processes.
|
Received June 1998, Revised May 1999
Full paper, 14 pages
[
PDF, 904 Kb ]
|
|
|
|
