The following pages link to Brijesh Dongol (Q736792):
Displaying 16 items.
- Reasoning about goal-directed real-time teleo-reactive programs (Q736794) (← links)
- Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL (Q832723) (← links)
- A general technique for proving lock-freedom (Q1001810) (← links)
- Mechanized proofs of opacity: a comparison of two techniques (Q1673658) (← links)
- Decidability and complexity for quiescent consistency and its variations (Q1680503) (← links)
- Verifying correctness of persistent concurrent data structures: a sound and complete method (Q1982636) (← links)
- Cylindric Kleene lattices for program construction (Q2176678) (← links)
- Streamlining progress-based derivations of concurrent programs (Q2481207) (← links)
- A High-Level Semantics for Program Execution under Total Store Order Memory (Q2851906) (← links)
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)
- Towards an Algebra for Real-Time Programs (Q2915135) (← links)
- Reasoning Algebraically About Refinement on TSO Architectures (Q2938158) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- Proving Opacity of a Pessimistic {STM} (Q3174968) (← links)
- On abstraction and compositionality for weak-memory linearisability (Q3296328) (← links)
- (Q6083440) (← links)
