The Mobility Workbench User's Guide - Polyadic version 3.122

[1]  Mads Dam,et al.  Model Checking Mobile Processes , 1993, Inf. Comput..