Department of Computer Science [CS]
Collection
Collection
- ISSN: 0169-118X
Published by CWI
-
Process algebra with asynchronous communication mechanisms Tech Report
J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and J.V. Tucker (John)
January 1984 -
January 1984 -
January 1984 -
An implementation of the B programming language Tech Report
January 1984 -
Description of B Tech Report
January 1984 -
A user's guide to the B system Tech Report
January 1984 -
A strategy for computer integrated manufacturing systems : processing and communication Tech Report
C.L. Blom (Kees), A. Choudry, P.J.W. ten Hagen (Paul), L.O. Hertzberger, B. Janssen, A.A.M. Kuijk (Fons), F. Tuynman and W.E. van Waning
January 1984 -
January 1984