The following pages link to Atomizer (Q3452265):
Displayed 5 items.
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- Concurrent correctness in vector space (Q2234067) (← links)
- The Complexity of Predicting Atomicity Violations (Q3617757) (← links)
- Strict Linearizability and Abstract Atomicity (Q5859670) (← links)
- Sound concurrent traces for online monitoring (Q6049043) (← links)