Pages that link to "Item:Q5096733"
From MaRDI portal
The following pages link to Confluence of processes and systems of objects (Q5096733):
Displaying 5 items.
- Splitting atoms safely (Q879357) (← links)
- On transformations of concurrent-object programs (Q1276245) (← links)
- On confluence in the π-calculus (Q4571963) (← links)
- A rigorous analysis of concurrent operations on B-trees (Q6044129) (← links)
- On transformations of concurrent object programs (Q6104370) (← links)