Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

September 1993

Comments

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

Abstract

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

Share

COinS
 

Date Posted: 19 September 2007