×

A theory of nondeterminism. (English) Zbl 0444.68027

Automata, languages and programming, 7th Colloq., Noordwijkerhout/ Netherlands 1980, Lect. Notes Comput. Sci. 85, 338-350 (1980).

MSC:

68Q65 Abstract data types; algebraic specification
68N01 General topics in the theory of software
68Q60 Specification and verification (program logics, model checking, etc.)
68Q45 Formal languages and automata

Citations:

Zbl 0426.00014