Centrum Wiskunde & Informatica

Lock-free dynamic hash tables with open addressing Article

Distributed Computing, 18(1), 21-42.

H. Gao, J.F. Groote (Jan Friso) and W.H. Hesselink (Wim)

January 2005
A sub-quadratic algorithm for conjunctive and disjunctive boolean equation systems In Proceedings

J.F. Groote (Jan Friso) and M. Keinänen

January 2005
Model-checking processes with data Article

Science of Computer Programming, 56(3), 251-273.

J.F. Groote (Jan Friso) and T.A.C. Willemse

January 2005
Semantic models of a timed distributed dataspace architecture Article

Theoretical Computer Science, 331(2-3), 291-323.

J. Hooman and J.C. van de Pol (Jaco)

January 2005
Vicious circles in orthogonal term rewriting systems In Proceedings

J. Ketema, J.W. Klop (Jan Willem) and V. van Oostrom (Vincent)

January 2005
Infinitary normalization Book Chapter

J.W. Klop (Jan Willem) and R. de Vrijer

January 2005
Stuttering congruence for $\Chi$ In Proceedings

S.P. Luttik (Bas) and N. Trcka

January 2005
Abstract Behavior Types: a foundation model for components and their composition Article

Science of Computer Programming, 55(1-3), 3-52.

F. Arbab (Farhad)

January 2005

Previous

Next