Creol
From MaRDI portal
Software:21404
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