Creol

swMATH9421MaRDI QIDQ21404

No author found.

Related Items (25)

On detecting over-eager concurrency in asynchronously communicating concurrent object systems ⋮ Securing the Future — An Information Flow Analysis of a Distributed OO Language ⋮ A lightweight approach to smart contracts supporting safety, security, and privacy ⋮ Behavioral interface description of an object-oriented language with futures and promises ⋮ Creol: A type-safe object-oriented model for distributed concurrent systems ⋮ A secrecy-preserving language for distributed and object-oriented systems ⋮ 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 ⋮ Static checking of GDPR-related privacy compliance for object-oriented distributed systems ⋮ Secure Implementation of Asynchronous Method Calls and Futures ⋮ ASP\(_{\text{fun}}\) : a typed functional active object calculus ⋮ A system for compositional verification of asynchronous objects ⋮ Termination detection for active objects ⋮ A proof system for adaptable class hierarchies ⋮ Verification of asynchronous systems with an unspecified component ⋮ An evaluation of interaction paradigms for active objects ⋮ Backwards type analysis of asynchronous method calls ⋮ Incremental reasoning with lazy behavioral subtyping for multiple inheritance ⋮ Lazy behavioral subtyping ⋮ Concurrent Objects à la Carte ⋮ An Object-Oriented Component Model for Heterogeneous Nets ⋮ Incremental Reasoning for Multiple Inheritance ⋮ Verifying traits: an incremental proof system for fine-grained reuse ⋮ Asynchronous sequential processes

This page was built for software: Creol