Bounded Serial Compositional Runtime Enforcement.

Read full text
Authors: S. Siva Shankar, Thierry Jéron, Prisha Srinidi, Srinivas Pinisetty
Cited by: 1

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