CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes.

Hubert Garavel, Radu Mateescu, Frdric Lang, Wendelin Serwe

Browse the full CAV paper archive.