J. C. M. Baeten

Born: 1954

Dutch computer scientist and mathematician

Born: 1954

Books by J. C. M. Baeten (50 max)

+ shelf+ list

Process algebra

1990

J. C. M. Baeten

+ shelf+ list

Applications of process algebra

1990

J. C. M. Baeten

+ shelf+ list

Concur 90: Theories of Concurrency Unification and Extension, Amsterdam, the Netherlands, Aug. 27-30, 1990, Proceedings (Lecture Notes in Computer Science)

1990

J. C. M. Baeten

+ shelf+ list

Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings

2012

J. C. M. Baeten

+ shelf+ list

Filters and ultrafilters over definable subsets of admissible ordinals

1986

J. C. M. Baeten

+ shelf+ list

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

1990

J. C. M. Baeten

+ shelf+ list

Concur 91: 2nd International Conference on Concurrency Theory Amsterdam, the Netherlands, August 26-29, 1991 : Proceedings (Lecture Notes in Computer Science)

1991

J. C. M. Baeten

+ shelf+ list

Concur '91: 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991. Proceedings (Lecture Notes in Computer Science)

1991

J. C. M. Baeten, J. F. Groote

+ shelf+ list

CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings (Lecture Notes in Computer Science)

1999

J. C. M. Baeten, Sjouke Mauw

+ shelf+ list

Process Algebra with Timing

2002

J. C. M. Baeten

+ shelf+ list

Applications of process algebra

2004

J. C. M. Baeten

+ shelf+ list

Process algebra equational theories of communicating processes

2010

J. C. M. Baeten

+ shelf+ list

Process algebra equational theories of communicating processes

2010

J. C. M. Baeten