Creol
From MaRDI portal
Cited in
(52)- Asynchronous sequential processes
- simpA
- ArchJava
- IC2D
- POOL
- CLOS
- A secrecy-preserving language for distributed and object-oriented systems
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model
- Verification of asynchronous systems with an unspecified component
- An evaluation of interaction paradigms for active objects
- ProActive
- A system for compositional verification of asynchronous objects
- Flow Caml
- Multilisp
- Rebeca
- A lightweight approach to smart contracts supporting safety, security, and privacy
- Petrify
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems
- Behavioural semantics for asynchronous components
- PolyTOIL
- Static checking of GDPR-related privacy compliance for object-oriented distributed systems
- SOFA 2.0
- Featherweight Java
- Securing the future -- an information flow analysis of a distributed OO language
- Secure implementation of asynchronous method calls and futures
- CoBoxes
- Kilim
- JFlow
- ACTLW
- SACO
- ABS
- JCobox
- Simula 67
- Dynamic rebinding for concurrent object groups: theory and practice
- An Object-Oriented Component Model for Heterogeneous Nets
- Incremental Reasoning for Multiple Inheritance
- JavAdaptor
- ASMKeY
- ABCL
- AmbientTalk
- Jacco
- ASP\(_{\text{fun}}\) : a typed functional active object calculus
- Termination detection for active objects
- A proof system for adaptable class hierarchies
- Concurrent objects à la carte
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance
- VerX
- Lazy behavioral subtyping
- Verifying traits: an incremental proof system for fine-grained reuse
- Behavioral interface description of an object-oriented language with futures and promises
- Creol: A type-safe object-oriented model for distributed concurrent systems
- Backwards type analysis of asynchronous method calls
This page was built for software: Creol
