Centrum Wiskunde & Informatica

Type for hierarchic shapes (summary) In Proceedings

S. Drossopoulou, D.G. Clarke (David) and J. Noble

January 2006
Introduction -- special issue on Enterprise Architecture Article

Information Systems Frontiers, 63-66.

H. ter Doest, M.M. Lankhorst, H.B.M. Jonkers, H. Bosma, R.M.A. Wieringa and F. Arbab (Farhad)

January 2006
Software Adaptation in Integrated Tool Frameworks for Composite services In Proceedings

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

January 2006
Modelling Coordination in Biological Systems In Proceedings

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

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

Previous

Next