JCobox
From MaRDI portal
Software:33023
swMATH21212MaRDI QIDQ33023FDOQ33023
Author name not available (Why is that?)
Cited In (15)
- Global Reproducibility Through Local Control for Distributed Active Objects
- An evaluation of interaction paradigms for active objects
- Analysis of Executable Software Models
- Validating Timed Models of Deployment Components with Parametric Concurrency
- A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell*
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model
- Behavioural semantics for asynchronous components
- Integrating deployment architectures and resource consumption in timed object-oriented models
- Dynamic rebinding for concurrent object groups: theory and practice
- Observable behavior of distributed systems: component reasoning for concurrent objects
- Securing the Future — An Information Flow Analysis of a Distributed OO Language
- Quantified abstract configurations of distributed systems
- Rely-guarantee termination and cost analyses of loops with concurrent interleavings
- A formal, resource consumption-preserving translation of actors to Haskell
- A reduction semantics for direct-style asynchronous observables
This page was built for software: JCobox
