Pages that link to "Item:Q684396"
From MaRDI portal
The following pages link to A single complete rule for data refinement (Q684396):
Displaying 17 items.
- Information flow in systems with schedulers. II: Refinement (Q383362) (← links)
- Algebraic proofs of consistency and completeness (Q672320) (← links)
- A single complete rule for data refinement (Q684396) (← links)
- An analysis of refinement in an abortive paradigm (Q851133) (← links)
- Relational separation logic (Q879369) (← links)
- The lattice of data refinement (Q1323380) (← links)
- On the antisymmetry of Galois embeddings (Q1603437) (← links)
- Soundness of data refinement for a higher-order imperative language (Q1605184) (← links)
- Power simulation and its relation to traces and failures refinement (Q1884900) (← links)
- Temporal-logic property preservation under Z refinement (Q1941860) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- Programming interfaces and basic topology (Q2575770) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- Data Refinement with Probability in Mind (Q2994495) (← links)
- A Practical Single Refinement Method for B (Q3535376) (← links)
- A formal software development approach using refinement calculus (Q5942699) (← links)
- Refinement and state machine abstraction (Q5958757) (← links)
