Go backward to
Further Compositon
Go up to
Top
Go forward to
Equality of Agents
Reformulations
Alternative formulation:
((
Jobber
|
Jobber
|
Hammer
)\{
geth
,
puth
}
|
Mallet
)\{
getm
,
putm
}
Algebra
of combinators with certain laws of equivalence.
Relabelling
Operator
P
[
l'
1
/l
1
,...,
l'
n
/l
n
]
f
(
l
) =
f(l)
Semaphore agent
Sem
:=
get
.
put
.
Sem
Reformulation of tools
Hammer
:=
Sem
[
geth
/
get
,
puth
/
put
]
Mallet
:=
Sem
[
getm
/
get
,
putm
/
put
]
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998