@InProceedings{VinterEtAl2018,
  title = {"Workshop on Translating CSP-Based Languages to Common Programming Languages"},
  author = "{Vinter}, {Brian} and {Dickson}, {Lawrence J.} and {Dibley}, {James}",
  editor = "{Chalmers}, {Kevin} and {Pedersen}, {Jan B{\ae}kgaard} and {Smith}, {Marc L.} and {Skovhede}, {Kenneth} and {Welch}, {Peter H.}",
  pages = "577 -- 577",
  publisher = {"IOS Press, Amsterdam, The Netherlands"},
  booktitle = {"Communicating Process Architectures 2018"},
  isbn = "",
  year = "2018",
  month = {"August"}
  note = "Workshop",
}