Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis
@inproceedings{DBLP:journals/entcs/DonaldsonMC05,
author = {Alastair F. Donaldson and
Alice Miller and
Muffy Calder},
editor = {Michael Huth},
title = {Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis},
booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
pages = {161-177},
publisher = {Elsevier},
year = {2004},
doi = {10.1016/J.ENTCS.2005.04.010},
}