2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…