Biography
Dutch computer scientist and mathematician
Books by J. C. M. Baeten
Process algebra
Applications of process algebra
CONCOUR9 9, concurrency theory
Concur <<'>>91
Concur 91: 2nd International C
Concur 91: 2nd International Conference on Concurrency Theory Amsterdam, the Netherlands, August 26-29, 1991
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)
Concur 90
Filters and ultrafilters over
Filters and ultrafilters over definable subsets of admissible ordinals