Cited in
(42)- Validating timed models of deployment components with parametric concurrency
- An evaluation of interaction paradigms for active objects
- Global reproducibility through local control for distributed active objects
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model
- COSTA
- D-Finder
- ArchJava
- JoCaml
- IC2D
- ProActive
- Erlang
- SPEED
- Creol
- LIME
- Multilisp
- Rebeca
- COSTABS
- iCanCloud
- PIPER
- SOFA 2.0
- CoBoxes
- Kilim
- ABS
- SACO
- Syco
- Rover
- JavAdaptor
- Welterweight Java
- ABCL
- AmbientTalk
- CauDEr
- Behavioural semantics for asynchronous components
- Analysis of executable software models
- 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
- Quantified abstract configurations of distributed systems
- Rely-guarantee termination and cost analyses of loops with concurrent interleavings
- A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell
- A formal, resource consumption-preserving translation of actors to Haskell
- Securing the future -- an information flow analysis of a distributed OO language
- A reduction semantics for direct-style asynchronous observables
This page was built for software: JCobox
