@InProceedings{DibleyBradshaw2018,
  title = {"Deriving Reusable Go Components From Verified CSP Prototypes"},
  author = "{Dibley}, {James} and {Bradshaw}, {Karen}",
  editor = "{Chalmers}, {Kevin} and {Pedersen}, {Jan B{\ae}kgaard} and {Smith}, {Marc L.} and {Skovhede}, {Kenneth} and {Welch}, {Peter H.}",
  pages = "427 -- 446",
  publisher = {"IOS Press, Amsterdam, The Netherlands"},
  booktitle = {"Communicating Process Architectures 2018"},
  isbn = "",
  year = "2018",
  month = {"August"}
}