Pages that link to "Item:Q5044731"
From MaRDI portal
The following pages link to Constraining interference in an object-based design method (Q5044731):
Displaying 9 items.
- Splitting atoms safely (Q879357) (← links)
- Partial confluence of processes and systems of objects (Q1274970) (← links)
- On transformations of concurrent-object programs (Q1276245) (← links)
- The name discipline of uniform receptiveness (Q1960533) (← links)
- Formalising Java RMI with explicit code mobility (Q2463558) (← links)
- Exclusion requirements and potential concurrency for composite objects (Q2575136) (← links)
- The name discipline of uniform receptiveness (extended abstract) (Q4571962) (← links)
- Confluence of processes and systems of objects (Q5096733) (← links)
- On transformations of concurrent object programs (Q6104370) (← links)