On CSP refinement tests that run multiple copies of a process

Gavin Lowe

journal	Proceedings of Workshop on Automated Verification of Critical Systems (AVoCS 2007)
year	2007

people	Gavin Lowe
activities	Concurrency