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 18 items.
- Quantified abstract configurations of distributed systems (Q493525) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- Splitting atoms safely (Q879357) (← links)
- Abstract interface behavior of object-oriented languages with monitors (Q1015384) (← 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)
- Constraining interference in an object-based design method (Q5044731) (← links)
- From π-calculus to higher-order π-calculus — and back (Q5044732) (← links)
- π-Calculus semantics of object-oriented programming languages (Q5096237) (← links)
- Confluence of processes and systems of objects (Q5096733) (← links)
- On transformations of concurrent object programs (Q6104370) (← links)
- A calculus for concurrent objects (Q6162111) (← links)