Linear Types for Communicating Processes (1995)

by S J Gay