J. C. M. Baeten

1954

Dutch computer scientist and mathematician

• Applications of process algebra
• Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)
• CONCOUR9 9, concurrency theory
• Concur 90
• Concur <<'>>91
• Process algebra
• Process algebra
• Process Algebra with Timing
• Theoretical Computer Science
• Applications of process algebra
• Concur 91: 2nd International Conference on Concurrency Theory Amsterdam, the Netherlands, August 26-29, 1991
• Filters and ultrafilters over definable subsets of admissible ordinals