A representative function approach to symmetry exploitation for CSP refinement checking

N Moffat, M.H. Goldsmith and A.W. Roscoe

book title	Proceedings of IFCEM 2008
year	2008

people	Bill Roscoe
activities	Concurrency