Citation: Egon Börger and Igor Durdanovic, "Correctness of compiling Occam to Transputer code." Computer Journal, vol. 39, no. 1, 1996, p. 52--92.
Summary: A formal semantics for Occam, along with a hierarchy of provably correct refinements to the Transputer Instruction Set architecture.
Subjects: Compiler Correctness, Distributed Systems, Programming Languages, Refinement, Verification
Download: PostScript, PDF, Compressed PostScript.
Notes: See also another paper on Occam.