CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
September 2001
-
Quantum Computing and Communication Complexity Dissertation
Quantum Computing and Advanced System ResearchSeptember 2001
-
September 2001
-
September 2001
-
Non-regular iterators in process algebra Article
Theoretical Computer Science, 269(1-2), 203-229.October 2001
-
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