"A Type System for proving Depth Boundedness in the pi-calculus."

Emanuele D'Osualdo, Luke Ong (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics