Go backward to
Examples of Derivation Trees
Go up to
Top
The Value-Passing Calculus
Values passed between agents
Can be reduced to basic calculus.
C
:=
in
(
x
).
C'
(
x
)
C'
(
x
) :=
out
(
x
).
C
C
:=
sum
v
in
v
.
C
v
'
C
v
'
:=
out
v
.
C
(
v
in
V
)
Families
of ports and agents.
The full language
Prefixes
a(x).E
,
a
(
e
).
E
,
tau
.
E
Conditional
if
b
then
E
Translation
a(x).E
=>
sum
v
.
E
{
v
/
x
}
a
(
e
).
E
=>
a
e
.
E
tau
.
E
=>
tau
.
E
if
b
then
E
=> (
E
, if
b
and
0
, otherwise)
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998