Indiana University Bloomington

School of Informatics and Computing

Technical Report TR738:
A Survey on π-Calculus

Thejaka Amila Kanewala
(Jun 2017), 11
[Submitted in Partial Satisfaction of the Requirements for the Ph.D Qualifying Examination in 2014]
Calculus is the mathematical study of change. Process Calculus models the changing behavior of computer processes. Usually a process refers to a running program. λ- calculus is a form of process calculus that has been heavily used in the functional programming arena. While, λ-calculus model changes in sequential computer processes, π-calculus formalizes behavior of a concurrent process. In this paper we will study general π-calculus language and variations of π-calculus that are applicable to distributed systems and programming languages.

Available as: