Pages that link to "Item:Q751848"
From MaRDI portal
The following pages link to Eliminating the substitution axiom from UNITY logic (Q751848):
Displaying 19 items.
- On the logic of UNITY (Q673960) (← links)
- Comments on ''Always-true is not invariant'': Assertional reasoning about invariance (Q1183477) (← links)
- A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic (Q1186571) (← links)
- Models for the substitution axiom of UNITY logic (Q1313738) (← links)
- Program refinement in fair transition systems (Q1323314) (← links)
- Error in the UNITY substitution rule for subscripted operators (Q1336953) (← links)
- A predicate transformer for the progress property `to-always' (Q1377323) (← links)
- A foundation for modular reasoning about safety and progress properties of state-based concurrent programs (Q1391101) (← links)
- Axiomatisation of substitution (Q1433380) (← links)
- Composing leads-to properties (Q1575647) (← links)
- Uniform substitution for differential game logic (Q1799081) (← links)
- Invariants, composition, and substitution (Q1894676) (← links)
- DUALITY: A simple formalism for the analysis of UNITY (Q1903074) (← links)
- Distributed maximum maintenance on hierarchically divided graphs (Q2366165) (← links)
- Web Cube (Q3613060) (← links)
- Logical foundations for compositional verification and development of concurrent programs in UNITY (Q5096396) (← links)
- On mechanizing proofs within a complete proof system for Unity (Q5096400) (← links)
- A modular coding of \textsc{Unity} in \textsc{Coq} (Q6567718) (← links)
- Abstracting communication to reason about distributed algorithms (Q6570915) (← links)
