Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

Simplifying Itai-Rodeh leader election for anonymous rings In Proceedings

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

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
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
Lock-free parallel garbage collection In Proceedings

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

January 2005
Bit boundary testing coverage In Proceedings

N. Goga (Nicolae) and F. Moldoveanu

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
Parameterised boolean equation systems Article

Theoretical Computer Science, 343(3), 332-369.

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

January 2005

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close