Concepedia
Statistics
Publications
1
Citations
19
H-Index
Active since
1989
Affiliations
Philips (Netherlands)(Current)
Willem-P. de Roever is an author at Philips (Netherlands).
Publications per year
1989–1989
Predicates are predicate transformers: a unified compositional theory for concurrency
J. Zwiers, Willem-P. de Roever · 1989 · 19 citations · Full text
1–1 of 1