Pages that link to "Item:Q3452255"
From MaRDI portal
The following pages link to Asynchronous and deterministic objects (Q3452255):
Displaying 9 items.
- ASP\(_{\text{fun}}\) : a typed functional active object calculus (Q433340) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- Backwards type analysis of asynchronous method calls (Q953530) (← links)
- Scala actors: Unifying thread-based and event-based programming (Q1004064) (← links)
- Asynchronous sequential processes (Q1013090) (← links)
- Behavioural semantics for asynchronous components (Q2397038) (← links)
- Secured Information Flow for Asynchronous Sequential Processes (Q2864389) (← links)
- Deadlock Detection in Linear Recursive Programs (Q5175772) (← links)
- A Mechanized Model of the Theory of Objects (Q5428912) (← links)
