Centrum Wiskunde & Informatica

Evaluating Conjunctive Triple Pattern Queries over Large Structured Overlay Networks In Proceedings

E. Liarou (Erietta), S. Idreos (Stratos) and M. Koubarakis (Manolis)

January 2006
An approximation algorithm for the wireless gathering problem In Proceedings

V. Bonifaci (Vincenzo), P. Korteweg, A. Marchetti Spaccamela (Alberto) and L. Stougie (Leen)

January 2006
Composition of Interacting Computations Book Chapter

F. Arbab (Farhad)

January 2006
On the axiomatizability of priority In Proceedings

L. Aceto (Luca), T. Chen (Taolue), W.J. Fokkink (Wan) and A. Ingólfsdóttir

January 2006
A finite equational base for CCS with left merge and communication merge In Proceedings

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)

January 2006
Injective synchronisation: An extension of the authentication hierarchy Article

Electronic Notes in Theoretical Computer Science, 139-161.

C.J.F. Cremers (Cas), S. Mauw (Sjouke) and E.P. de Vink (Erik)

January 2006
The quest for equational axiomatizations of parallel composition: Status and open problems In Proceedings

L. Aceto (Luca) and W.J. Fokkink (Wan)

January 2006
Bisimilarity is not finitely based over BPA with interrupt In Proceedings

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S. Nain

January 2006

Previous

Next