university website Publications by Year
  • sign in

Publication

  • thumb

    Queueing Systems with Heavy Tails Dissertation

    Stochastics

    A.P. Zwart (Bert)

    September 2001
    open access
  • On-line single-server dial-a-ride problems Article

    Theoretical Computer Science, 268(1), 91-105.

    E. Feuerstein and L. Stougie (Leen)

    October 2001
    open access
  • Process algebra and conditional composition Article

    Information Processing Letters, 80(1), 41-49.

    J.A. Bergstra (Jan) and A. Ponse (Alban)

    October 2001
  • The cones and foci proof technique for timed transition systems Article

    Information Processing Letters, 80(1), 33-40.

    M.B. van der Zwaag

    October 2001
    open access
  • thumb

    Non-regular iterators in process algebra Article

    Theoretical Computer Science, 269(1-2), 203-229.

    J.A. Bergstra (Jan) and A. Ponse (Alban)

    October 2001
    open access
  • Equivalence of recursive specifications in process algebra Article

    Information Processing Letters, 80(1), 59-65.

    A. Ponse (Alban) and Y.S. Usenko (Yaroslav)

    October 2001
  • thumb

    Kennisnetwerken : CWI in bedrijf, 05.10.2001 Booklet

    October 2001
  • thumb

    Open dag WCW 07.10.2001 : programma CWI Booklet

    October 2001
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close