Yang Liu 0003 Jun Sun 0001 Jin Song Dong An analyzer for extended compositional process algebras. 919-920 2008 ICSE Companion http://doi.acm.org/10.1145/1370175.1370187 conf/icse/2008c db/conf/icse/icsec2008.html#LiuSD08