Centrum Wiskunde & Informatica

On the Edgeworth expansion for the logarithm of the likelihood ratio Tech Report

D.M. Chibisov and W.R. van Zwet (Willem)

January 1984
One queue or two pushdown stores take square time on a one-head tape unit Tech Report

P.M.B. Vitányi (Paul)

January 1984
Fair FIFO queues satisfy an algebraic criterion for protocol correctness Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1984
Verification of an alternating bit protocol by means of process algebra Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1984
Algebra of communicating processes with abstraction Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1984
Square time is optimal for simulation of one pushdown store by an oblivious one-head tape unit Tech Report

P.M.B. Vitányi (Paul)

January 1984
Top-down design and the algebra of communicating processes Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

January 1984
A case of a not so strange strange attractor Tech Report

H.A. Lauwerier

January 1984

Previous

Next