Date of this Version
π-calculus is a calculus for modeling dynamically changing configurations of a network of communicating agents. This paper studies the suitability of π-calculus as a unifying framework to model the operational semantics of the three paradigms of programming: functional, logic and imperative paradigms. In doing so, the attempt is to demonstrate that π-calculus models a primitive that is pervasive in the three paradigms and to illustrate that the three forms of sequential computing are special instances of concurrent computing.
Srinivas Bangalore, "Pi-Calculus: A Unifying Framework for Programming Paradigms", . September 1993.
Date Posted: 19 September 2007