CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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 -
Three logics for branching bisimulation Tech Report
January 1990 -
January 1990
-
January 1990
-
Efficient visit orders for polling systems Tech Report
January 1990
-
On the attained waiting time Tech Report
January 1990
-
January 1990