In this work we describe a simple calculus (called interaction calculus) for the representation of concurrent systems. In this a system is collection of expressions (processes) that share a working space; their computational behaviour is determined by the interaction of processes. The calculus is an attempt to describe concurrent systems by means of a ``non functional'' calculus which is, in some sense, strictly related with the lambda-calculus: computations are carried out by substitutions, but in our calculus they are originated by a symmetric interaction between two expressions, instead of the functional application of an operator to its operand. In this way we lose some good features of lambda calculus (the confluence property for instance), but we gain the capability of representing concurrency and mobility; all the same, we will discover that functions can be nicely encoded in the calculus.

An interaction calculus for concurrent systems

SOLITRO, Ugo
2004

Abstract

In this work we describe a simple calculus (called interaction calculus) for the representation of concurrent systems. In this a system is collection of expressions (processes) that share a working space; their computational behaviour is determined by the interaction of processes. The calculus is an attempt to describe concurrent systems by means of a ``non functional'' calculus which is, in some sense, strictly related with the lambda-calculus: computations are carried out by substitutions, but in our calculus they are originated by a symmetric interaction between two expressions, instead of the functional application of an operator to its operand. In this way we lose some good features of lambda calculus (the confluence property for instance), but we gain the capability of representing concurrency and mobility; all the same, we will discover that functions can be nicely encoded in the calculus.
interaction calculi, linear logic, concurrent processes
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11562/20795
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact