@InProceedings{Roscoe04,
  title =        "{F}initary {R}efinement {C}hecks for {I}nfinitary {S}pecifications",
  author=        "Roscoe,  A. W.",
  editor=        "East, Ian R. and Duce, David and Green, Mark and Martin,  Jeremy M. R. and Welch, Peter H.",
  pages =        "1--18",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2004",
  isbn=          "1 58603 458 8",
  year=          "2004",
  month=         "sep",
  abstract=      "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's discovery that data independence can be used for
     this purpose."
}