Publication

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

T. Chothia (Tom)

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

T. Chothia (Tom) and J. Kleijn

BRICKS: Basic Research in Informatics : informatiefolder met overzicht projecten Booklet

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)

Connector Colouring I: Synchronisation and Context Dependency Article

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

Modelling Coordination in Biological Systems In Proceedings

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

Software Adaptation in Integrated Tool Frameworks for Composite services In Proceedings

N.K. Diakov (Nikolay) and F. Arbab (Farhad)

Yoga wisdom : bedrijfsyoga : energie & balans : informatie folder Booklet