Pages that link to "Item:Q3617704"
From MaRDI portal
The following pages link to Abstraction for Concurrent Objects (Q3617704):
Displaying 7 items.
- Abstraction for concurrent objects (Q615951) (← links)
- TSO-to-TSO linearizability is undecidable (Q1629746) (← links)
- A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
- A general Gaussian interest rate model consistent with the current term structure (Q1952680) (← links)
- Liveness-Preserving Atomicity Abstraction (Q3012940) (← links)
- Ode to the PST (Q5256333) (← links)
- Steps in modular specifications for concurrent modules (invited tutorial paper) (Q5971389) (← links)