CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Multigrid approaches to the Euler equations Book Chapter
January 1987 -
January 1987 -
Merge and termination in process algebra In Proceedings
January 1987 -
Waiting-time approximations for cyclic-service systems with switchover times Article
Performance Evaluation, 7(4), 299-308.January 1987 -
Decidability of bisimulation equivalence for processes generating context-free languages In Proceedings
J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)
January 1987 -
Low order spectral models of the atmospheric circulation In Proceedings
January 1987 -
Term rewriting systems with priorities In Proceedings
J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)
January 1987 -
Approximating the projective model In Proceedings
January 1987