Hubert Garavel Wendelin Serwe State Space Reduction for Process Algebra Specifications. 164-180 http://dx.doi.org/10.1007/978-3-540-27815-3_16 2004 conf/amast/2004 AMAST db/conf/amast/amast2004.html#GaravelS04