CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Formal Methods for Components and Objects", 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 --- "State-of-the-Art Survey Book
B.K. Aichernig, F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)
January 2011 -
Scaling limits via excursion theory: interplay between Crump-Mode-Jagers branching processes and Processor-Sharing queues Tech Report
A. Lambert, F.B.R.A. Simatos (Florian) and A.P. Zwart (Bert)
January 2011
-
Ambiguity Detection: Scaling to Scannerless In Proceedings
H.J.S. Basten (Bas), P. Klint (Paul) and J.J. Vinju (Jurgen)
January 2011
-
Parse Forest Diagnostics with Dr. Ambiguity In Proceedings
January 2011
-
January 2011
-
Dynamic Consistency in Process Algebra: From Paradigm to ACP Article
Science of Computer Programming, 76(8), 711-735.S. Andova, L.P.J. Groenewegen (Luuk) and E.P. de Vink (Erik)
January 2011
-
January 2011
-
January 2011