An analyzer for extended compositional process algebras

Yang Liu, Jun Sun 0001, Jin Song Dong. An analyzer for extended compositional process algebras. In Wilhelm Sch{\"a}fer, Matthew B. Dwyer, Volker Gruhn, editors, 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume. pages 919-920, ACM, Leipzig, Germany, 2008. [doi]

Abstract

Abstract is missing.