On CSP refinement tests that run multiple copies of a process (2009)

by Gavin Lowe
Venue:In Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems (AVoCS ’07), volume 250 of Electronic Notes in Theoretical Computer Science