scientific article; zbMATH DE number 3566126

zbMath0363.68021MaRDI QIDQ4138082

William W. Wadge, E. A. Ashcroft

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General topics in the theory of software (68N01)

Related Items

Programming in metric temporal logic, Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic, The temporal semantics of concurrent programs, Unnamed Item, An extensional treatment of lazy data flow deadlock, Semantic properties of Lucid's compute clause and its compilation, Verifying programs by induction on their data structure: general format and applications