Hubert Garavel Radu Mateescu Frédéric Lang Wendelin Serwe CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. 158-163 2007 conf/cav/2007 CAV http://dx.doi.org/10.1007/978-3-540-73368-3_18 db/conf/cav/cav2007.html#GaravelMLS07