CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Static Check of WSCDL Documents In Proceedings
L. Zhou, H. Zhang (Haoyuan), T. Wang (Tao), C. Yang, Z. Wang, M. Sun (Meng) and G. Pu (Geguang)
January 2008 -
Comparison of bandwidth-sharing policies in a linear network In Proceedings
I.M. Verloop (Maaike), U. Ayesta (Urtzi) and S.C. Borst (Sem)
January 2008
-
On a generic class of two-node queueing systems Article
Queueing Systems, 37-63.I.J.B.F. Adan, M.R.H. Mandjes (Michel), W.R.W. Scheinhardt (Werner) and E. Tzenova
January 2008 -
Reconfiguration Distributed Reo Connectors In Proceedings
C. Krause (born Köhler) (Christian), F. Arbab (Farhad) and E.P. de Vink (Erik)
January 2008 -
Calculating Invariants as Coreflexive Bisimulations In Proceedings
L.S. Barbosa, J.N. Oliveira (José) and A.M. Silva (Alexandra)
January 2008 -
Metaplectic operators on {$C^n$} Article
Quarterly Journal of Mathematics, 59(1), 15-28.H.G. Feichtinger, M. Hazewinkel (Michiel), N. Kaiblinger, E. Matusiak and M. Neuhauser
January 2008
-
Verification of Networks of Timed Automata using mCRL2 In Proceedings
J.F. Groote (Jan Friso), M.A. Reniers (Michel) and Y.S. Usenko (Yaroslav)
January 2008 -
Asymptotic analysis of Lévy-driven tandem queues Article
Queueing Systems, 60(3-4), 203-226.January 2008