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
A. W. Roscoe