"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