48 citations · 174 across the 34 of their papers we have counts for
1 paper · 2 filters
Emanuele D'Osualdo, Luke Ong
The depth-bounded fragment of the pi-calculus is an expressive class of systems enjoying decidability of some important verification problems. Unfortunately membership of the fragm…