Centrum Wiskunde & Informatica

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
A Behavioral Model for Composition of Software Components Article

L'Objet, 33-76.

F. Arbab (Farhad)

January 2006
AMIS/Ambulant Daisy Player Software

A.J. Jansen (Jack) and M. DeMeglio

January 2006
Logics of communication and change Article

Information and Computation, 1620-1662.

J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan) and B. Kooi

January 2006
Towards automatic generation of parameterized test cases from abstractions Tech Report

J.R. Calamé (Jens), N. Ioustinova (Natalia) and J.C. van de Pol (Jaco)

January 2006

Previous

Next