The article is an introduction and a survey on the pi-calculus, a process calculus that models mobile systems, i.e., systems with a dynamically changing communication topology. It refines the constructs of CCS by allowing the exchange of communication links. Ideas from the lambda-calculus have also been influential.
The pi-calculus
SANGIORGI, DAVIDE
2011
Abstract
The article is an introduction and a survey on the pi-calculus, a process calculus that models mobile systems, i.e., systems with a dynamically changing communication topology. It refines the constructs of CCS by allowing the exchange of communication links. Ideas from the lambda-calculus have also been influential.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
