CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Equivalence of recursive specifications in process algebra Article
Information Processing Letters, 80(1), 59-65.October 2001 -
On-line single-server dial-a-ride problems Article
Theoretical Computer Science, 268(1), 91-105.October 2001
-
The cones and foci proof technique for timed transition systems Article
Information Processing Letters, 80(1), 33-40.October 2001
-
Process algebra and conditional composition Article
Information Processing Letters, 80(1), 41-49.October 2001 -
October 2001 -
October 2001 -
Quantum fingerprinting Article
Physical Review Letters, 87(16), 1-4.H.M. Buhrman (Harry), R.E. Cleve (Richard), J. Watrous and R.M. de Wolf (Ronald)
October 2001 -
Critical conditions for phytoplankton blooms Article
Bulletin of Mathematical Biology, 63(6), 1095-1124.U. Ebert (Ute), M. Arrayás, N.M. Temme (Nico), B.P. Sommeijer (Ben) and J. Huisman
November 2001