scientific article; zbMATH DE number 3581596

zbMATH Open0373.68026MaRDI QIDQ4151145FDOQ4151145

Authors:

Publication date: 1978

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (5)

• Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
• The temporal logic of branching time
• A complete axiomatic characterization of first-order temporal logic of linear time
• A formal system for parallel programs in discrete time and space
• A generalized nexttime operator in temporal logic

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 Q4151145)