Centrum Wiskunde & Informatica

What is algebraic in process theory? Article

Electronic Notes in Theoretical Computer Science, 227-231.

S.P. Luttik (Bas)

January 2006
Preface Article

Electronic Notes in Theoretical Computer Science, 1-2.

S. Mauw (Sjouke), V. Issarny and C.J.F. Cremers (Cas)

January 2006
Preface In Proceedings

S. Mauw (Sjouke) and M. Oostdijk

January 2006
Forward Secure Communication inWireless Sensor Networks In Proceedings

S. Mauw (Sjouke), I. van Vessem and B. Bos

January 2006
Delay-optimal scheduling in bandwidth-sharing networks In Proceedings

I.M. Verloop (Maaike), S.C. Borst (Sem) and R. Núñez Queija (Rudesindo)

January 2006
Distribution of a simple shared dataspace architecture Article

Fundamenta Informaticae, 535-559.

S.-M. Orzan (Simona-Mihaela) and J.C. van de Pol (Jaco)

January 2006
Accelerated Modal Abstractions of Labelled Transition Systems In Proceedings

M.A. Valero Espada (Miguel) and J.C. van de Pol (Jaco)

January 2006
Nuovo DRM Paradiso: Towards a verified, fair DRM protocol In Proceedings

H.L. Jonker (Hugo), M.T. Dashti (Mohammad) and S.K. Nair

January 2006

Previous

Next