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 1990
-
January 1990
-
Studies in pure PROLOG : termination Tech Report
January 1990 -
January 1990 -
Process algebra with zero object Tech Report
January 1990 -
Resolution and logical consequences Tech Report
January 1990 -
Back and forth bisimulations Tech Report
R. De Nicola (Rocco), U. Montanari and F.W. Vaandrager (Frits)
January 1990 -
Reactive, generative, and stratified models of probabilistic processes Tech Report
R.J. van Glabbeek (Rob), S.A. Smolka, B. Steffen and C.M.N. Tofts
January 1990