Next: Stages
Up: Distributed Evolving Algebras
Previous: Active Teams
We return to the basic definition of distributed ealgebras in 6.2.
A pure sequential run 
of an ealgebra A is a sequence
[ 
:
n < 
]
of states of A, where
is an
initial state and every 
is obtained from by executing a
move of an agent. The generalization to the case of external functions or
external locations is relatively straightforward.