Centrum Wiskunde & Informatica

Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata In Proceedings

S.-S.T.Q. Jongmans (Sung) and F. Arbab (Farhad)

August 2011
Adaptive Strategies for Dynamic Pricing Agents In Proceedings

S. Ramezani (Sara), P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

August 2011
StoSim - Version 0.1 (original name: Nicessa) Software

N.F. Höning (Nicolas)

August 2011
Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools Article

IEEE Transactions on Services Computing, PP(99)

N. Kokash (Natallia) and F. Arbab (Farhad)

August 2011
Financial Focus (vol. 2, no. 8, pp. 4) Magazine Article

J. van den Bos (Jeroen)

August 2011
Multi-class Fork-Join queues & The stochastic knapsack problem Master Thesis

S. Ding (Sihan)

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
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

Previous

Next