ABCL
From MaRDI portal
Software:39793
swMATH28079MaRDI QIDQ39793FDOQ39793
Author name not available (Why is that?)
Cited In (10)
- Backwards type analysis of asynchronous method calls
- An evaluation of interaction paradigms for active objects
- Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
- Constraining interference in an object-based design method
- Asynchronous communication model based on linear logic
- Behavioral interface description of an object-oriented language with futures and promises
- A lightweight approach to smart contracts supporting safety, security, and privacy
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model
- Equivalence in functional languages with effects
- Creol: A type-safe object-oriented model for distributed concurrent systems
This page was built for software: ABCL
