Publication
-
Queueing Systems with Heavy Tails Dissertation
StochasticsSeptember 2001
-
On-line single-server dial-a-ride problems Article
Theoretical Computer Science, 268(1), 91-105.October 2001
-
Process algebra and conditional composition Article
Information Processing Letters, 80(1), 41-49.October 2001 -
The cones and foci proof technique for timed transition systems Article
Information Processing Letters, 80(1), 33-40.October 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 -
October 2001 -
October 2001