CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Reduced-load equivalence and induced burstiness in GPS queues with long-tailed traffic flows Tech Report
January 2000
-
January 2000
-
Generalised coinduction Tech Report
January 2000
-
Stabilization of tag-mediated interaction by sexual reproduction in an evolutionary agent system Tech Report
F. Alkemade (Floortje), D.D.B. van Bragt and J.A. La Poutré (Han)
January 2000
-
Object-oriented tree traversal with JJForester Tech Report
January 2000
-
January 2000
-
January 2000
-
Branching time and orthogonal bisimulation equivalence Tech Report
J.A. Bergstra (Jan), A. Ponse (Alban) and M.B. van der Zwaag
January 2000