J. J. M. M. Rutten
3 published titles
Logic programming languages : constraints, functions, and objects
(Contributor)
1 edition
- ISBN: 0262011344
- MIT Press
- 1993
- Details
Mathematical techniques for analyzing concurrent and probabilistic systems
(Contributor)
1 edition
- ISBN: 0821835718
- American Mathematical Society
- 2004
- Details
Advanced topics in bisimulation and coinduction
(Contributor)
1 edition
- ISBN: 9781107004979
- Cambridge University Press
- 2012
- Details
