Abstract
From the very beginning process algebra introduced the dichotomy between channels and processes. This dichotomy prevails in all present process calculi. The situation is in contrast to that with lambda calculus which has only one class of entities—the lambda terms. We introduce in this paper a process calculus called Lamp in which channels are process names. The language is more uniform than existing process calculi in two aspects: First it has a unified treatment of channels and processes. There is only one class of syntactical entities—processes. Second it has a unified presentation of both first order and higher order process calculi. The language is functional in the sense that lambda calculus is functional. Two bisimulation equivalences, barbed and closed bisimilarities, are proved to coincide. A natural translation from Pi calculus to Lamp is shown to preserve both operational and algebraic semantics. The relationship between lazy lambda calculus and Lamp is discussed.
Similar content being viewed by others
References
Milner, R., Communication and Concurrency, New York: Prentice Hall, 1989.
Milner, R., Parrow, J., Walker, D., A calculus of mobile processes, Information and Computation, 1992, 100 (Part 1: 1–40, (Part II): 44.
Sangiorgi, D., Expressing mobility in process algebras: first-order and higher-order paradigms, PhD Thesis, Department of Computer Science, University of Edinburgh, 1993.
Thomsen, B., A theory of higher order communicating systems, Information and Computation, 1995, 38.
Sangiorgi, D., π-Calculus, internal mobility and agent-passing calculi, Theoretical Computer Science, 1996, 235–274.
Boudol, G., Asynchrony and the π-calculus, Technical Report RR-1702, INRIA Sophia Antipolis, 1992.
Merro, M., Sangiorgi, D., On asynchrony in name-passing calculi, ICALP’98, Lecture Notes in Computer Science, Berlin: Springer-Verlag, 1998, 1443.
Milner, R., Sangiorgi, D. Barbed Bisimulation, ICALP’92, Lecture Notes in Computer Science, 1992, 623: 685.
Fu, Y., A proof theoretical approach to communications, ICALP’97, July 7–11, Bologna, Italy, Lecture Notes in Computer Science, 1997, 1256: 325.
Milner R., Functions as processes, Mathematical Structures in Computer Science, 1992, 2: 119.
Fu, Y., Bisimulation Lattice of Chi Processes, ASIAN’98, December 8–10, Manila, The Philippines, Lecture Notes in Computer Science 1998, 1538: 245.
Fu, Y., Open Bisimulations on Chi Processes, Concur’99, August 24–27, Eindhoven, the Netherlands, Lecture Notes in Computer Science, 1999, 1664.
Fu, Y., Variations on mobile processes, Theoretical Computer Science, Amsterdam: Elsevier Science Publisher, 1999, 221: 327.
Boudol, G., The π-calculus in direct style, The 24th Annual ACM Symposium on Principles of Programming Languages, 228–241, Paris, January, 1997.
Dal-Zilio, S., A Bisimulation of the blue calculus, Technical Report of INRIA Sophia Antipolis, April, 1999.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Fu, Y. A functional presentation of Pi calculus. Sci China Ser F 44, 20–32 (2001). https://doi.org/10.1007/BF02713937
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02713937