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

Hubert Garavel, Frdric Lang, Radu Mateescu, Wendelin Serwe

Browse the full TACAS paper archive.