CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1984 -
January 1984 -
January 1984 -
January 1984 -
January 1984 -
January 1984 -
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