Centrum Wiskunde & Informatica

Upper and lower bounds on switching energy in VLSI Tech Report

G. Kissin

January 1990
The $ gamma $ -neighborhood graph Tech Report

R.C. Veltkamp (Remco)

January 1990
Metric pomset semantics for a concurrent language with recursion Tech Report

J.W. de Bakker (Jaco) and J.H.A. Warmerdam

January 1990
On the role of delegation and inheritance in object-oriented database systems Tech Report

D.B.M. Otten (Daan) and P.J.W. ten Hagen (Paul)

January 1990
Process algebra with zero object Tech Report

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

January 1990
Resolution and logical consequences Tech Report

L. Kossen

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

Previous

Next