scientific article
From MaRDI portal
Publication:3888522
zbMath0444.68027MaRDI QIDQ3888522
J. R. Kennaway, C. A. R. Hoare
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticspowerdomainsnondeterminismaxiomatic semanticstestsnondeterministic machinescomplementary definitions
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items
A theory for nondeterminism, parallelism, communication, and concurrency, Testing equivalences for processes
