JCobox

swMATH21212MaRDI QIDQ33023FDOQ33023

Author name not available (Why is that?)

Cited In (15)

• 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
• 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
• Validating timed models of deployment components with parametric concurrency

This page was built for software: JCobox