CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Minimization Algorithm for Symbolic Bisimilarity In Proceedings
January 2009
-
Coalgebraic Symbolic Semantics In Proceedings
January 2009
-
Neighbourhood Structures: Bisimilarity and Basic Model Theory Article
Logical Methods in Computer Science, 5(2)January 2009 -
Towards Model Checking Executable UML Specifications in mCRL2 In Proceedings
H.H. Hansen (Helle), J. Ketema, M.R. Mousavi, S.P. Luttik (Bas) and J.C. van de Pol (Jaco)
January 2009 -
Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca Article
Acta Informatica, 47(1), 33-66.M.M. Jaghoori (Mohammad Mahdi), M. Sirjani (Marjan), M.R. Mousavi, E. Khamespanah (Ehsan) and A. Movaghar (Ali)
January 2009
-
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform In Proceedings
F.S. de Boer (Frank), I. Grabe (Immo), M.M. Jaghoori (Mohammad Mahdi), A. Stam and W. Yi
January 2009
-
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform In Proceedings
F.S. de Boer (Frank), T. Chothia (Tom) and M.M. Jaghoori (Mohammad Mahdi)
January 2009
-
Rewriting agent societies strategically In Proceedings
L. Astefanoaei (Lacramioara), F.S. de Boer (Frank) and M. Dastani
January 2009