Centrum Wiskunde & Informatica

A model for I/O in equational languages with don't care non-determinism Tech Report

H.R. Walters (Pum) and J.F.T. Kamperman (Jasper)

January 1995
Structured adaptive finite-volume multigrid for compressible flows In Proceedings

H.T.M. van der Maarel (Eric) and P.W. Hemker (Piet)

January 1995
Termination for direct sums of left-linear complete term rewriting systems Article

Journal of the Association for Computing Machinery, 42(6), 1275-1304.

Y. Toyama, J.W. Klop (Jan Willem) and H.P. Barendregt (Henk)

January 1995
High performance support for OO traversals in Monet Tech Report

P.A. Boncz (Peter), F. Kwakkel and M.L. Kersten (Martin)

January 1995
Self-stabilizing mutual exclusion on directed graphs Tech Report

D. Alstein, J.H. Hoepman (Jaap-Henk), B.E. Olivier and P.I.A. van der Put

January 1995
Forward and backward simulations I. Untimed systems Article

Information and Computation, 121(2), 214-233.

N.A. Lynch (Nancy) and F.W. Vaandrager (Frits)

January 1995
The workload in the M/G/1 queue with work removal Tech Report

R.J. Boucherie (Richard) and O.J. Boxma (Onno)

January 1995
Duality beyond sober spaces: topological spaces and observation frames In Proceedings

M.M. Bonsangue (Marcello), B.P.F. Jacobs and J.N. Kok (Joost)

January 1995

Previous

Next