scientific article; zbMATH DE number 3566126

zbMATH Open0363.68021MaRDI QIDQ4138082FDOQ4138082

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

Publication date: 1977

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (7)

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

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)