Next:
Syntax
Up:
Nondeterministic Sequential Ealgebras
Previous:
Nondeterministic Sequential Ealgebras
Basic Evolving Algebras with Choice
Syntax
Choose Constructor
Semantics
Global Choice Semantics
Semantics without Global Choice
Remark
Runs
Abbreviations
