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