19 citations · 53 across the 12 of their papers we have counts for
1 paper · 2 filters
Sung-Shik T. Q. Jongmans, Farhad Arbab
Constraint automata (CA) constitute a coordination model based on finite automata on infinite words. Originally introduced for modeling of coordinators, an interesting new applicat…