JCobox
From MaRDI portal
Software:33023
No author found.
Related Items (15)
Global Reproducibility Through Local Control for Distributed Active Objects ⋮ Securing the Future — An Information Flow Analysis of a Distributed OO Language ⋮ Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model ⋮ Dynamic rebinding for concurrent object groups: theory and practice ⋮ 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 ⋮ Observable behavior of distributed systems: component reasoning for concurrent objects ⋮ Integrating deployment architectures and resource consumption in timed object-oriented models ⋮ An evaluation of interaction paradigms for active objects ⋮ Quantified abstract configurations of distributed systems ⋮ 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*
This page was built for software: JCobox
