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.

Abstract

Abstract is missing.