@inproceedings{OReillyEtAl2011,
  abstract = {The language CspCASL combines specifications of data and processes. We
  give an institution based semantics to CspCASL that allows us to re-use
  the institution independent structuring mechanisms of
  CASL. Furthermore, we extend CspCASL with a notion of refinement that
  reconciles the differing philosophies behind the refinement notions
  for CSP and CASL. We develop a compositional proof calculus for
  refinement along the CASL structuring mechanisms, and demonstrate
  that compositional proof techniques along parallel process
  composition from the context of CSP lifts to structured CspCASL
  specifications.},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {O'Reilly, Liam and Mossakowski, Till and Roggenbach, Markus},
  biburl = {https://www.bibsonomy.org/bibtex/2d90bd899ca48003d4412fdaa04ed55e2/tillmo},
  booktitle = {WADT 2010},
  editor = {Mossakowski, Till and Kreowski, Hans-J{\"o}rg},
  interhash = {b144e40caf512e76c510e2aa1740ce18},
  intrahash = {d90bd899ca48003d4412fdaa04ed55e2},
  keywords = {CASL CSP refinement},
  pages = {251-269},
  pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/compositional-refinement.pdf},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Compositional modelling and reasoning in an institution for  processes and data},
  volume = 7137,
  year = 2012
}