The following pages link to (Q3713577):
Displaying 35 items.
- Starvation-free mutual exclusion with semaphores (Q469360) (← links)
- Simulation refinement for concurrency verification (Q541209) (← links)
- ASM refinement and generalizations of forward simulation in data refinement: a comparison (Q555790) (← links)
- Prespecification in data refinement (Q578901) (← links)
- Incompleteness of relational simulations in the blocking paradigm (Q608349) (← links)
- Abstraction for concurrent objects (Q615951) (← links)
- A single complete rule for data refinement (Q684396) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- On integrating confidentiality and functionality in a formal method (Q736833) (← links)
- Introducing extra operations in refinement (Q736913) (← links)
- Relational concurrent refinement. III: Traces, partial relations and automata (Q736917) (← links)
- Relational separation logic (Q879369) (← links)
- Observational purity and encapsulation (Q882452) (← links)
- A criterion for atomicity revisited (Q884994) (← links)
- Proving opacity of transactional memory with early release (Q902713) (← links)
- A queue based mutual exclusion algorithm (Q1006897) (← links)
- Normal form approach to compiler design (Q1323320) (← links)
- Decidability and complexity for quiescent consistency and its variations (Q1680503) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)
- On hierarchically developing reactive systems (Q1959436) (← links)
- Verification of compliance for multilevel models in individual trace semantics (Q2064403) (← links)
- Bridging arrays and ADTs in recursive proofs (Q2233489) (← links)
- Universal extensions to simulate specifications (Q2475808) (← links)
- Splitting forward simulations to cope with liveness (Q2491215) (← links)
- Refinement verification of the lazy caching algorithm (Q2509154) (← links)
- Set-Theoretic Models of Computations (Q2842623) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
- Relational Concurrent Refinement: Automata (Q2994488) (← links)
- Of wlp and CSP (Q2994489) (← links)
- Guarded Operations, Refinement and Simulation (Q2994496) (← links)
- Simulation Refinement for Concurrency Verification (Q5403461) (← links)
- More Relational Concurrent Refinement: Traces and Partial Relations (Q5403469) (← links)
- Understanding, Explaining, and Deriving Refinement (Q5861785) (← links)
- Sound and Relaxed Behavioural Inheritance (Q5861787) (← links)
- The representational entity in physical computing (Q6095489) (← links)
