8 citations · 18 across the 10 of their papers we have counts for
1 paper · 2 filters
Karin Quaas, Mahsa Shirmohammadi
Register automata (RAs) are finite automata extended with a finite set of registers to store and compare data from an infinite domain. We study the concept of synchronizing data wo…