%T Finitary Refinement Checks for Infinitary Specifications
%A  A. W. Roscoe
%E Ian R. East, David Duce, Mark Green,  Jeremy M. R. Martin, Peter H. Welch
%B Communicating Process Architectures 2004
%X We see how refinement against a variety of infinite\-state
   CSP specifications can be translated into finitary
   refinement checks. Methods used include turning a process
   into its own specification inductively, and we recall
   Wolper\[rs]s discovery that data independence can be used
   for this purpose.