1954
Dutch computer scientist and mathematician
Bibliografía (13 obras)
Theoretical Computer Science
2012
Process algebra
2010
Applications of process algebra
2004
Process Algebra with Timing
2002
CONCOUR9 9, concurrency theory
1999
Concur <<'>>91
1991
Concur 91: 2nd International Conference on Concurrency Theory Amsterdam, the Netherlands, August 26-29, 1991
1990
Concur 90
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)
Filters and ultrafilters over definable subsets of admissible ordinals
1986
