Pages that link to "Item:Q909434"
From MaRDI portal
The following pages link to Issues in the design of a parallel object-oriented language (Q909434):
Displayed 9 items.
- Splitting atoms safely (Q879357) (← links)
- A layered semantics for a parallel object-oriented language (Q1194208) (← links)
- An interpretation of typed objects into typed \(\pi\)-calculus (Q1271311) (← links)
- Partial confluence of processes and systems of objects (Q1274970) (← links)
- On transformations of concurrent-object programs (Q1276245) (← links)
- Rendez-vous with metric semantics (Q1313370) (← links)
- Reasoning about dynamically evolving process structures (Q1333406) (← links)
- Inheritance in the join calculus. (Q1426056) (← links)
- Verification and refinement with fine-grained action-based concurrent objects (Q1770367) (← links)