Theoretical Computer Science

Research Output 1993 2019

Filter
Book
2014

Distributed Algorithms: An Intuitive Approach

Fokkink, W. J., 2014, Cambridge, Massachusetts: MIT Press.

Research output: Book / ReportBookAcademicpeer-review

2013

Proceedings of the 24th International Conference on Rewriting Techniques and Applications

van Raamsdonk, F., 2013, Dagstuhl, Germany: LIPICS. 367 p.

Research output: Book / ReportBookAcademicpeer-review

2012

Proceedings of the 7th International Workshop on Developments of Computational Methods

van Raamsdonk, F., Kashefi, E. & Krivine, J., 2012, Zuerich, Switserland: Electronic Proceedings in Theoretical Computer Science. 100 p. (EPTCS; no. 88)

Research output: Book / ReportBookAcademicpeer-review

2007

Modelling Distributed Systems

Fokkink, W. J., 2007, Berlin: Springer.

Research output: Book / ReportBookAcademicpeer-review

2004

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems

Rutten, J. J. M. M., Kwiatkowska, M., Norman, G. & Parker, D. H., 2004, x: American Mathematical Society. (CRM Monograph Series; no. 23)

Research output: Book / ReportBookAcademicpeer-review