The following pages link to (Q4671826):
Displayed 12 items.
- Dynamic rebinding for concurrent object groups: theory and practice (Q347396) (← links)
- ASP\(_{\text{fun}}\) : a typed functional active object calculus (Q433340) (← links)
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- A concurrent lambda calculus with futures (Q860851) (← links)
- Asynchronous sequential processes (Q1013090) (← links)
- An evaluation of interaction paradigms for active objects (Q1734521) (← links)
- Behavioural semantics for asynchronous components (Q2397038) (← links)
- Secured Information Flow for Asynchronous Sequential Processes (Q2864389) (← links)
- Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533) (← links)
- Concurrent Objects à la Carte (Q5187829) (← links)
- A Mechanized Model of the Theory of Objects (Q5428912) (← links)