Automated Translation of Occam to a Concurrent Logic Language

Matthew M. Huntbach. Automated Translation of Occam to a Concurrent Logic Language. In LOPSTR. pages 254-275, 1991.

@inproceedings{Huntbach91,
  title = {Automated Translation of Occam to a Concurrent Logic Language},
  author = {Matthew M. Huntbach},
  year = {1991},
  tags = {translation, Occam, logic},
  researchr = {https://researchr.org/publication/Huntbach91},
  cites = {0},
  citedby = {0},
  pages = {254-275},
  booktitle = {LOPSTR},
}