Papers

Bibtex:

@article{DonaldsonMC_ENTCS2005,
   title      = {Finding Symmetry in Models of Concurrent Systems
                 by Static Channel Diagram Analysis},
   author     = {Alastair F. Donaldson and Alice Miller and Muffy
                 Calder},
   journal    = {Electronic Notes in Theoretical Computer Science},
   volume     = {128},
   issue      = {6},
   pages      = {161-177},
   publisher  = {Elsevier},
   year       = {2005},
   note       = {Preliminary version appeared in Proceedings of
                 the 4th International Workshop on Automated
                 Verification of Critical Systems (AVoCS'04)}
}