DUALITY: A simple formalism for the analysis of UNITY

DOI10.1007/BF01211214zbMath0835.68067MaRDI QIDQ1903074

Rutger M. Dijkstra

Publication date: 5 December 1995

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

predicate transformer semanticslanguage DUALITY

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items

A foundation for modular reasoning about safety and progress properties of state-based concurrent programs, An experiment with the use of predicate transformers in UNITY, Alternating states for dual nondeterminism in imperative programming, UNITY and Büchi automata

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Eliminating the substitution axiom from UNITY logic
• Duality in specification languages: A lattice-theoretical approach
• Nondeterminacy and recursion via stacks and games
• Predicate transformers for reasoning about concurrent computation