CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2010
-
Modeling Dynamic Reconfigurations in Reo using High-Level Replacement Systems Article
Science of Computer ProgrammingC. Krause (born Köhler) (Christian), Z. Maraikar (Ziyan), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)
January 2010
-
Nash Social Welfare in Multiagent Resource Allocation In Proceedings
January 2010
-
January 2010
-
Towards Model Checking Executable UML Specifications in mCRL2 Article
Innovations in Systems and Software Engineering, 83-90.H.H. Hansen (Helle), J. Ketema, S.P. Luttik (Bas), M.R. Mousavi and J.C. van de Pol (Jaco)
January 2010
-
January 2010
-
Stability and throughput for two-layered queueing networks Article
Performance Evaluation, 28-42.M. Jonckheere (Matthieu), R.D. van der Mei (Rob) and W. van der Weij (Wemke)
January 2010 -
The probabilistic analysis of language acquisition: Theoretical, computational, and experimental analysis Tech Report
January 2010