The Mobility Workbench - A Tool for the pi-Calculus.

Bjrn Victor, Faron Moller

Browse the full CAV paper archive.