Go backward to
Composition of Agents
Go up to
Top
Go forward to
Reformulations
Further Compositon
Internalisation
of ports:
No further agents may be connected to ports:
Restriction
operator \
\
L
internalizes all ports
L
.
(
Jobber
|
Jobber
|
Hammer
)\{
geth
,
puth
}
Complete system:
Jobshop
:= (
Jobber
|
Jobber
|
Hammer
|
Mallet
)\
L
L
:= {
geth
,
puth
,
getm
,
putm
}
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998