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 Design and Verification of Long-Running Transactions with Extensible Coordination Tools Article
IEEE Transactions on Services Computing, PP(99)August 2011
-
Reo + mCRL2: A Framework for Model-checking Dataflow in Service Compositions Article
Formal Aspects of Computing, 1-30.N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)
August 2011
-
August 2011
-
Financial Focus (vol. 2, no. 8, pp. 4) Magazine Article
August 2011
-
Verification of object-oriented programs: A transformational approach Article
Journal of Computer and System SciencesK.R. Apt (Krzysztof), F.S. de Boer (Frank), E.R. Olderog (Ernst-Rüdiger) and C.P.T. de Gouw (Stijn)
August 2011 -
August 2011
-
August 2011 -
Accelerating Foreign-Key Joins using Asymmetric Memory Channels In Proceedings
H. Pirk (Holger), S. Manegold (Stefan) and M.L. Kersten (Martin)
September 2011