CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Algebra of communicating processes In Proceedings
January 1986 -
Conditional rewrite rules: confluence and termination Article
Journal of Computer Science and Technology, 32(3), 323-362.January 1986 -
Local recognition of Tits geometries of classical type Article
Geometriae Dedicata, 20(2), 181-199.January 1986 -
Minimizing the expected weighted number of tardy jobs in stochastic flow shops Article
Operations Research Letters, 5(3), 119-126.January 1986 -
Syntax and defining equations for an interrupt mechanism in process algebra Article
Fundamenta Informaticae, 127-167.J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)
January 1986 -
A study of the recursion $ysb {n+1}=ysb n+ au ysp msb n$ Article
Journal of Mathematical Analysis and Applications, 116(2), 456-464.January 1986 -
Numerical analysis of the shallow water equations In Proceedings
P.J. van der Houwen (Piet), B.P. Sommeijer (Ben), J.G. Verwer (Jan) and F.W. Wubs (Fred)
January 1986 -
Uniform bounds for the number of solutions to $Ysp n=f(X)$ Article
Mathematical Proceedings of the Cambridge Philosophical Society, 100(2), 237-248.January 1986