Pages that link to "Item:Q1903074"
From MaRDI portal
The following pages link to DUALITY: A simple formalism for the analysis of UNITY (Q1903074):
Displaying 11 items.
- An experiment with the use of predicate transformers in UNITY (Q673907) (← links)
- Unity properties and sequences of states, some observations (Q688444) (← links)
- Duality in specification languages: A lattice-theoretical approach (Q913495) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- Derivation of concurrent programs: Two examples (Q1199832) (← links)
- Models for the substitution axiom of UNITY logic (Q1313738) (← links)
- Data refinement of mixed specifications: A generalization of UNITY (Q1386404) (← links)
- A foundation for modular reasoning about safety and progress properties of state-based concurrent programs (Q1391101) (← links)
- UNITY and Büchi automata (Q2026375) (← links)
- Computing with multiple discrete flows (Q2430306) (← links)
- Unilateral Analysis and Duality (Q5421798) (← links)