swMATH9421MaRDI QIDQ21404FDOQ21404
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S0304397506004804
Cited In (52)
- Backwards type analysis of asynchronous method calls
- An Object-Oriented Component Model for Heterogeneous Nets
- Concurrent objects à la carte
- VerX
- Verification of asynchronous systems with an unspecified component
- An evaluation of interaction paradigms for active objects
- Asynchronous sequential processes
- Secure implementation of asynchronous method calls and futures
- 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
- Behavioural semantics for asynchronous components
- simpA
- ArchJava
- CLOS
- IC2D
- POOL
- ProActive
- Flow Caml
- Multilisp
- Rebeca
- Petrify
- PolyTOIL
- SOFA 2.0
- Featherweight Java
- CoBoxes
- Kilim
- JFlow
- ACTLW
- ABS
- JCobox
- SACO
- Simula 67
- JavAdaptor
- ASMKeY
- ABCL
- AmbientTalk
- Jacco
- 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
- Creol: A type-safe object-oriented model for distributed concurrent systems
- Securing the future -- an information flow analysis of a distributed OO language
- Incremental Reasoning for Multiple Inheritance
This page was built for software: Creol
