CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
On roads with no overtaking Tech Report
January 1985 -
The use of conversational packages in statistical computing Tech Report
H.J. Adèr, D.J. Kuik, E. Opperdoes and B.F. Schriever (Bert)
January 1985 -
Infinite streams and finite observations in the semantics of uniform concurrency Tech Report
J.W. de Bakker (Jaco), J.-J.C. Meyer (John-Jules) and E.R. Olderog (Ernst-Rüdiger)
January 1985 -
January 1985 -
Semantics of logic programming Tech Report
January 1985 -
STARS and stripes Tech Report
January 1985 -
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