Next:
Distributed Evolving Algebras
Up:
Parallelism: Evolving Algebras
Previous:
Remark
Runs
Runs are defined as above.