1 paper
Parosh Aziz Abdulla, Mohammed Faouzi Atig, Abhijith R Nair +2
We investigate the parameterized reachability problem for concurrent register machines over infinite data domains. In this framework, each machine is a program equipped with a set…