Kennaway, J. R.; Hoare, C. A. R. 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents 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 Keywords:tests; nondeterministic machines; axiomatic semantics; operational semantics; complementary definitions; nondeterminism; powerdomains Citations:Zbl 0426.00014 PDFBibTeX XML