Bounded Serial Compositional Runtime Enforcement.
Fields of Study & Subjects
Logic
programming
and type systems
Distributed systems and fault tolerance
Parallel Computing and Optimization Techniques
Publication details
- Journal / source
- The Journal of Object Technology
- Publisher
- AITO - Association Internationale pour les Technologies Objets
- Volume
- 25
- Issue
- 1
- Pages
- 1:1–1:1
- Publication date
- 1 January 2026
- Language
- EN