The following pages link to Splitting atoms safely (Q879357):
Displaying 9 items.
- Analyzing complex functional brain networks: fusing statistics and network science to understand the brain (Q389932) (← links)
- Elucidating concurrent algorithms via layers of abstraction and reification (Q539423) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- Possible values: exploring a concept for concurrency (Q2374311) (← links)
- An approach to splitting atoms safely (extended abstract) (Q2852345) (← links)
- Liveness-Preserving Atomicity Abstraction (Q3012940) (← links)
- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification (Q3535380) (← links)
- Reasoning about Separation Using Abstraction and Reification (Q5268439) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)