CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Readies and failures in the algebra of communicating processes Tech Report
J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and E.R. Olderog (Ernst-Rüdiger)
January 1985 -
An operational semantics for process algebra Tech Report
J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)
January 1985 -
January 1985 -
January 1985 -
January 1985 -
A conceptual modeling expert system Tech Report
January 1985 -
Ready trace semantics for concrete process algebra with priority operator Tech Report
J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)
January 1985 -
Development, growth and time Tech Report
January 1985