Pi+-Calculus: A Calculus for Concurrent Processes with Constraints

Authors

  • Juan Francisco Diaz Universidad del Valle, Colombia
  • Camilo Rueda Pontificia Universidad Javeriana Cali, Colombia
  • Frank D Valencia Pontificia Universidad Javeriana Cali, Colombia

DOI:

https://doi.org/10.19153/cleiej.1.2.2

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. 

Downloads

Published

1998-12-01

Issue

Vol. 1 No. 2 (1998): Special Issue of Best Papers presented at CLEI'97. Valparaiso

Section

Articles

License

CLEIej is supported by its home institution, CLEI, and by the contribution of the Latin American and international researchers community, and it does not apply any author charges whatsoever for submitting and publishing. Since its creation in 1998, all contents are made publicly accesibly. The current license being applied is a (CC)-BY license (effective October 2015; between 2011 and 2015 a (CC)-BY-NC license was used).