CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
August 2011
-
The tail of the maximum of Brownian motion minus a parabola Article
Electronic Communications in Probability, 458-466.August 2011
-
A process algebra for supervisory coordination In Proceedings
J.C.M. Baeten (Jos), D.A. van Beek, A.C. van Hulst (Alan) and J. Markovski (Jasen)
August 2011
-
Position-Based Quantum Cryptography: Impossibility and Constructions In Proceedings
H.M. Buhrman (Harry), N. Chandran, S. Fehr (Serge), R. Gelles, V. Goyal, R. Ostrovsky and C. Schaffner (Christian)
August 2011
-
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
-
Reactive Turing machines In Proceedings
J.C.M. Baeten (Jos), S.P. Luttik (Bas) and P.J.A. van Tilburg (Paul)
August 2011