A timed model for communicating sequential processes

A. W. Roscoe and G.M. Reed

journal	Theoretical Computer Science
pages	249—261
volume	58
year	1988

people	Bill Roscoe
activities	Concurrency