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