A CSP solution to the trains problem

A. W. Roscoe

book title	The Analysis of Concurrent Systems
editor	B.T. Denvir et al
number	207
pages	384—388
publisher	Springer
series	LNCS
year	1985

people	Bill Roscoe
activities	Concurrency