Go backward to
Equality of Agents
Go up to
Top
Go forward to
Composite Agents
Action and Transition
Names and co-names
Set
A
of
names
(
geth
,
ackin
, ...)
Set
A
of
co-names
(
geth
,
ackin
, ...)
Set of
labels
L
=
A
U
A
Transition
P
->
l
Q
Hammer
->
geth
Busyhammer
Busyhammer
->
puth
Hammer
Agents
A
and
B
A
:=
a.A'
,
A'
:=
c
.
A
B
:=
c.B'
,
B'
:=
b
.
B
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998