scientific article; zbMATH DE number 3566126

MaRDI QIDQ4138082zbMATH OpenFDO

Authors E. A. Ashcroft, W. W. Wadge

Publication date 1977

Mathematics Subject Classification ID

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

Cited in

(7)

• Verifying programs by induction on their data structure: general format and applications
• Programming in metric temporal logic
• Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
• The temporal semantics of concurrent programs
• Semantic properties of Lucid's compute clause and its compilation
• scientific article; zbMATH DE number 3797730 (Why is no real title available?)
• An extensional treatment of lazy data flow deadlock

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4138082)