Creol

swMATH9421MaRDI QIDQ21404FDOQ21404

Author name not available (Why is that?)

Cited In (25)

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

This page was built for software: Creol