## Ugo Solitro.
An interaction calculus for concurrent systems.
Technical Report RR 15/2004, Dipartimento di Informatica -
Universita' degli Studi di Verona, Strada Le Grazie, 15 - I-37134 Verona
(Italy), 2004.

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.

Keywords: Concurrency, lambda calculus, interaction, linear
logic

[ bib |
http ]
Back

*This file has been generated by
bibtex2html 1.60*
>>> BackToHomePage(Protocollo) <<<