A framework for the synthesis of hardware from occam

Roy D. Dowsing, R. Elliott, M. Templeton, G. Williams, Frank Woodhams. A framework for the synthesis of hardware from occam. Journal of Systems Architecture, 27(1-5):373-379, 1989. [doi]

@article{DowsingETWW89,
  title = {A framework for the synthesis of hardware from occam},
  author = {Roy D. Dowsing and R. Elliott and M. Templeton and G. Williams and Frank Woodhams},
  year = {1989},
  doi = {10.1016/0165-6074(89)90077-X},
  url = {https://doi.org/10.1016/0165-6074(89)90077-X},
  researchr = {https://researchr.org/publication/DowsingETWW89},
  cites = {0},
  citedby = {0},
  journal = {Journal of Systems Architecture},
  volume = {27},
  number = {1-5},
  pages = {373-379},
}