Centrum Wiskunde & Informatica

Connector Colouring I: Synchronisation and Context Dependency Article

Electronic Notes in Theoretical Computer Science, 101-119.

D.G. Clarke (David), D. Costa (David) and F. Arbab (Farhad)

January 2006
Proof of a conjecture of N. Konno for the 1D contact process Book Chapter

J. van den Berg (Rob), O. Häggström and J. Kahn

January 2006
A Framework for Automatically Checking Anonymity with mCRL In Proceedings

T. Chothia (Tom), S.-M. Orzan (Simona-Mihaela), J. Pang (Jun) and M.T. Dashti (Mohammad)

January 2006
Using small XML elements to support relevance In Proceedings

G. Ramirez Camps (Georgina), T.H.W. Westerveld (Thijs) and A.P. de Vries (Arjen)

January 2006
Q-Automata: Modelling the Resource Usage of Concurrent Components In Proceedings

T. Chothia (Tom) and J. Kleijn

January 2006
Analysing the Mute Anonymous File-Sharing System Using the pi-calculus In Proceedings

T. Chothia (Tom)

January 2006
Presenting Functors by Operations and Equations, in Foundations of Software Science and Computation Structures In Proceedings

M.M. Bonsangue (Marcello) and A. Kurz (Alexander)

January 2006
Modeling component connectors in Reo by constraint automata Article

Science of Computer Programming, 75-113.

F. Arbab (Farhad), C. Baier, J.J.M.M. Rutten (Jan) and M. Sirjani (Marjan)

January 2006

Previous

Next