CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Object-oriented algebraic specification: proposal for a notation and 12 examples Tech Report
J.A. Bergstra (Jan), J. Heering (Jan) and J.W. Klop (Jan Willem)
January 1984 -
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