Next:
Syntax
Up:
Parallelism: Evolving Algebras
Previous:
Terms and Guards
A Parallel Version of the Basic EA Model
Syntax
The Declaration Constructor
Programs
Semantics of Rules
Remark
