Functional behavior of nondeterministic and concurrent programs

DOI10.1016/S0019-9958(84)80032-7zbMath0591.68018OpenAlexW2090925938MaRDI QIDQ3719800

Michael G. Main, David B. Benson

Publication date: 1984

Published in: Information and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0019-9958(84)80032-7

zbMATH Keywords

predicate transformersweakest preconditionsnondeterministic and concurrent programsfree interpretationsdeterministic program segmentHerbrand universes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items

Algebraic solutions to recursion schemes ⋮ Concurrent transition systems ⋮ Petri nets are monoids ⋮ Semantic models for total correctness and fairness ⋮ Semantic models for total correctness and fairness ⋮ Bisimulation of automata