Pages that link to "Item:Q913495"
From MaRDI portal
The following pages link to Duality in specification languages: A lattice-theoretical approach (Q913495):
Displaying 17 items.
- Games and winning strategies (Q674272) (← links)
- Program inversion in the refinement calculus (Q750160) (← links)
- Angelic nondeterminism in the unifying theories of programming (Q851128) (← links)
- Refinement concepts formalised in higher order logic (Q916409) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749) (← links)
- Processes and formalisms for unbounded choice (Q1193892) (← links)
- Combining angels, demons and miracles in program specifications (Q1199826) (← links)
- On the lattice of specifications: Applications to a specification methodology (Q1205187) (← links)
- Nondeterminacy and recursion via stacks and games (Q1318704) (← links)
- The lattice of data refinement (Q1323380) (← links)
- Contracts, games, and refinement. (Q1854322) (← links)
- DUALITY: A simple formalism for the analysis of UNITY (Q1903074) (← links)
- Difference hierarchies and duality with an application to formal languages (Q2310785) (← links)
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism (Q2974777) (← links)
- Algebra of Monotonic Boolean Transformers (Q3098056) (← links)
- Using lattice theory in higher order logic (Q6567722) (← links)