Temporal predicate transformers and fair termination

DOI10.1007/BF00264610zbMath0672.68006MaRDI QIDQ1120264

Joseph M. Morris

Publication date: 1990

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

predicate transformer semanticsnondeterministic programsfairly- terminating programs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Safety and progress of recursive procedures ⋮ Weakest preconditions for progress ⋮ An Algebraic Approach to Refinement with Fair Choice