Gary Marc Levin

A Proof Technique for Communicating Sequential Processes(With an Example)

Gary Marc Levin, 1979 .

A Procedure Call Proof Rule (With a Simple Explanation)

David Gries, Gary Marc Levin, 1979 .

ISETL: a language for teaching discrete mathematics (abstract)

Gary Marc Levin, 1990, CSC '90.

Proof rules for Communicating Sequential Processes

Gary Marc Levin, G. Levin, 1980 .