db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>

%T Finitary Refinement Checks for Infinitary Specifications
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  A. W. Roscoe
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%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.