Publication:4151145
From MaRDI portal
zbMath0373.68026MaRDI QIDQ4151145
No author found.
Publication date: 1978
68N01: General topics in the theory of software
Related Items
The temporal logic of branching time, A generalized nexttime operator in temporal logic, A complete axiomatic characterization of first-order temporal logic of linear time, Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic, A formal system for parallel programs in discrete time and space