Let's Make Models (Abstract)
C. A. R. Hoare
Book Title
CONCUR '90‚ Theories of Concurrency: Unification and Extension‚ Amsterdam‚ The Netherlands‚ August 27−30‚ 1990‚ Proceedings
Editor
Jos C. M. Baeten and Jan Willem Klop
Pages
32
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
458
Year
1990