Discrete Event Simulation Based on Communicating Sequential Processes
W.H. Kaubisch and C.A.R. Hoare
Book Title
Theoretical Foundations of Programming Methodology — Lecture Notes of an International Summer School‚ Germany‚ 1981
Editor
M. Broy and G. Schmidt
Pages
625–42
Publisher
Reidel
Year
1982