Centrum Wiskunde & Informatica

Semantic models for concurrent logic languages In Proceedings

F.S. de Boer (Frank), J.J.M.M. Rutten (Jan), J.N. Kok (Joost) and C. Palamidessi (Catuscia)

January 1991
Verification of sequential and concurrent programs Book

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

January 1991
Stochastic approximation of the MLE for a spatial point pattern Article

Scandinavian Journal of Statistics, 18(1), 39-50.

R.A. Moyeed and A.J. Baddeley (Adrian)

January 1991
The $M/G/1$ queue with processor sharing and its relation to a feedback queue Article

Queueing Systems, 9(4), 365-401.

J.L. van den Berg (Hans) and O.J. Boxma (Onno)

January 1991
Numerical analysis of time-dependent Boussinesq models Article

International Journal for Numerical Methods in Fluids, 1235-1250.

P.J. van der Houwen (Piet) and F.W. Wubs (Fred)

January 1991
Arithmetic classification of perfect models of stratified programs Article

Fundamenta Informaticae, 14(3), 339-343.

K.R. Apt (Krzysztof) and H.A. Blair

January 1991
Iterated Runge-Kutta methods on parallel computers Article

SIAM Journal on Scientific and Statistical Computing, 12(5), 1000-1028.

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1991
Sequentiality in orthogonal term rewriting systems Article

Journal of Symbolic Computation, 12(2), 161-195.

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

January 1991

Previous

Next