H Feng,
M Bonsangue,
B Lion - Journal of Logical and Algebraic Methods …, 2022 - Elsevier
In this paper, we study a subclass of constraint automata with local variables. The fragment
denotes an executable subset of constraint automata for which synchronization and data …