J
J. C. M. Baeten
1954
10 works on record
Biography
Dutch computer scientist and mathematician
Works

Process algebra

CONCOUR9 9, concurrency theory

Applications of process algebra

Process Algebra with Timing

Theoretical Computer Science

Concur <<'>>91

Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)

Concur 90
Concur 91: 2nd International Conference on Concurrency Theory Amsterdam, the Netherlands, August 26-29, 1991
Concur 91: 2nd International Conference on Concurrency Theory Amsterdam, the Netherlands, August 26-29, 1991
Filters and ultrafilters over definable subsets of admissible ordinals
Filters and ultrafilters over definable subsets of admissible ordinals