Pages that link to "Item:Q1219675"
From MaRDI portal
The following pages link to An axiomatic proof technique for parallel programs (Q1219675):
Displaying 26 items.
- Invariants for the construction of a handshake register (Q293438) (← links)
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- Starvation-free mutual exclusion with semaphores (Q469360) (← links)
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- Towards formally specifying and verifying transactional memory (Q470040) (← links)
- A proof system for adaptable class hierarchies (Q478383) (← links)
- Queue based mutual exclusion with linearly bounded overtaking (Q532419) (← links)
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- Auxiliary variables in partial correctness programming logics (Q582037) (← links)
- Formal derivation of an algorithm for distributed phase synchronization (Q673351) (← links)
- On using temporal logic for refinement and compositional verification of concurrent systems (Q674008) (← links)
- Logical foundations for programming semantics (Q685420) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Correctness and concurrent complexity of the black-white bakery algorithm (Q736464) (← links)
- Verifying traits: an incremental proof system for fine-grained reuse (Q736803) (← links)
- Derivation of concurrent programs by stepwise scheduling of Event-B models (Q736912) (← links)
- A weakest precondition semantics for communicating processes (Q789174) (← links)
- Fair termination revisited - with delay (Q795499) (← links)
- A proof technique for parallel programs (Q796292) (← links)
- Computation of equilibria in noncooperative games (Q815274) (← links)
- Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL (Q832723) (← links)
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays (Q5043584) (← links)
- Fast timing-based algorithms (Q5137323) (← links)
- Concise outlines for a complex logic: a proof outline checker for TaDA (Q6145023) (← links)