29 citations · 109 across the 33 of their papers we have counts for
1 paper · 2 filters
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea +2
We propose a framework for reasoning about unbounded dynamic networks of infinite-state processes. We propose Constrained Petri Nets (CPN) as generic models for these networks. The…