@article{3199,
  author       = {{Wehrheim, Heike and Wonisch, Daniel}},
  journal      = {{Electr. Notes Theor. Comput. Sci.}},
  number       = {{2}},
  pages        = {{135----151}},
  title        = {{{Compositional {CSP} Traces Refinement Checking}}},
  doi          = {{10.1016/j.entcs.2009.08.022}},
  year         = {{2009}},
}