Using Session Types for Reasoning About Boundedness in the Pi-Calculus

Hans Hüttel

The classes of depth-bounded and name-bounded processes are fragments of the pi-calculus for which some of the decision problems that are undecidable for the full calculus become d…