Skip to main content

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