Centrum Wiskunde & Informatica

Infinitary normalization Book Chapter

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

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
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
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
A sub-quadratic algorithm for conjunctive and disjunctive boolean equation systems In Proceedings

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

January 2005
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
Is timed branching bisimilarity and equivalence indeed? In Proceedings

W.J. Fokkink (Wan), J. Pang (Jun) and A.J. Wijs (Anton)

January 2005
Simplifying Itai-Rodeh leader election for anonymous rings In Proceedings

W.J. Fokkink (Wan) and J. Pang (Jun)

January 2005

Previous

Next