CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Hopf bifurcation in host-parasitoid models Article
IMA journal of mathematics applied in medicine and biology, 3(3), 191-209.January 1986 -
Cryptanalysis of DES with a reduced number of rounds: sequences of linear factors in block ciphers In Proceedings
January 1986 -
Contrasting themes in the semantics of imperative concurrency In Proceedings
J.W. de Bakker (Jaco), J.N. Kok (Joost), J.-J.C. Meyer (John-Jules), E.R. Olderog (Ernst-Rüdiger) and J.I. Zucker
January 1986 -
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