Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

September 1993


University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-93-81.


π-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.



Date Posted: 19 September 2007