J. C. M. Baeten
1954 · 13 obras en el catálogo
Dutch computer scientist and mathematician
También catalogado como: Josephus Cornelis Maria Baeten · Jos C. M. Baeten · Josephus C.M. Baeten
Obras

Process algebra

Process algebra

CONCOUR9 9, concurrency theory

Applications of process algebra
Applications of process algebra

Concur <<'>>91

Process Algebra with Timing

Theoretical Computer Science

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
Filters and ultrafilters over definable subsets of admissible ordinals
