Π-calculus

This product was added to computer science because of the content, defects on the quality assurance side of the editor. This is done to bring the quality of the articles from the computer science subject area to an acceptable level. Help us to eliminate the substantive shortcomings of this article and take part you in the discussion! ( ) Reason: If I still find it incomprehensible - Eorhim 12:03, 5 May 2010 ( CEST)

π - calculus is a process calculus that has been developed by Robin Milner, Joachim Parrow, and David Walker as a successor to the Calculus of Communicating Systems (CCS). The aim was to develop a formal description of concurrent systems that change during the term.

A purpose of this type of process is the simulation of concurrent processes such as threads or processes on modern multi-core processors, as in the programming of software that exploits this functionality complex boundary conditions come into play to get the means of such simulation easier to cope are.

Constructs

Formal definition

Let X be a set of name and x and y are elements of this set. The following grammar in Backus- Naur form then describes the language of the π - calculus:

Example

Three concurrent processes.