Pages that link to "Item:Q1004064"
From MaRDI portal
The following pages link to Scala actors: Unifying thread-based and event-based programming (Q1004064):
Displayed 19 items.
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Quantified abstract configurations of distributed systems (Q493525) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- simpA: an agent-oriented approach for programming concurrent applications on top of Java (Q608358) (← links)
- The role of concurrency in an evolutionary view of programming abstractions (Q890610) (← links)
- Scala actors: Unifying thread-based and event-based programming (Q1004064) (← links)
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model (Q1651013) (← links)
- Continuation-passing C, compiling threads to events through continuations (Q1929338) (← links)
- PerformERL: a performance testing framework for Erlang (Q2084981) (← links)
- Rely-guarantee termination and cost analyses of loops with concurrent interleavings (Q2398172) (← links)
- Functional BIP: embedding connectors in functional programming languages (Q2403817) (← links)
- A reduction semantics for direct-style asynchronous observables (Q2423763) (← links)
- Ideal Abstractions for Well-Structured Transition Systems (Q2891435) (← links)
- Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533) (← links)
- Modeling Actor Systems Using Dynamic I/O Automata (Q3179176) (← links)
- A programming model and foundation for lineage-based distributed computation (Q4577814) (← links)
- Towards Modelling Actor-Based Concurrency in Term Rewriting (Q5240184) (← links)
- May-Happen-in-Parallel Analysis for Actor-Based Concurrency (Q5277912) (← links)
- Send to me first: Priority in synchronous message-passing (Q6099200) (← links)