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]
@inproceedings{LiuSD08,
title = {An analyzer for extended compositional process algebras},
author = {Yang Liu and Jun Sun 0001 and Jin Song Dong},
year = {2008},
doi = {10.1145/1370175.1370187},
url = {http://doi.acm.org/10.1145/1370175.1370187},
tags = {composition, process algebra, algebra},
researchr = {https://researchr.org/publication/LiuSD08},
cites = {0},
citedby = {0},
pages = {919-920},
booktitle = {30th International Conference on Software Engineering (ICSE 2008), Companion Volume},
editor = {Wilhelm Sch{\"a}fer and Matthew B. Dwyer and Volker Gruhn},
address = {Leipzig, Germany},
publisher = {ACM},
isbn = {978-1-60558-079-1},
}