ABCL
From MaRDI portal
Cited in
(23)- BETA
- IC2D
- POOL
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model
- An evaluation of interaction paradigms for active objects
- ProActive
- Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
- Asynchronous communication model based on linear logic
- Multilisp
- Creol
- A lightweight approach to smart contracts supporting safety, security, and privacy
- PolyTOIL
- Kilim
- ABS
- JCobox
- mural
- AmbientTalk
- Equivalence in functional languages with effects
- Constraining interference in an object-based design method
- VerX
- 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: ABCL
