The following pages link to JCobox (Q33023):
Displaying 15 items.
- Dynamic rebinding for concurrent object groups: theory and practice (Q347396) (← links)
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Quantified abstract configurations of distributed systems (Q493525) (← links)
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model (Q1651013) (← links)
- An evaluation of interaction paradigms for active objects (Q1734521) (← links)
- Behavioural semantics for asynchronous components (Q2397038) (← links)
- Rely-guarantee termination and cost analyses of loops with concurrent interleavings (Q2398172) (← links)
- A formal, resource consumption-preserving translation of actors to Haskell (Q2409724) (← links)
- A reduction semantics for direct-style asynchronous observables (Q2423763) (← links)
- Securing the Future — An Information Flow Analysis of a Distributed OO Language (Q2891392) (← links)
- Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533) (← links)
- A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell* (Q4988924) (← links)
- Global Reproducibility Through Local Control for Distributed Active Objects (Q5039528) (← links)
- Analysis of Executable Software Models (Q5175771) (← links)
