Rob van Glabbeek - Research output - University of Edinburgh Research Explorer

Accepting PhD Students

PhD projects

Concurrency theory

2 results

Filter

2019

30th International Conference on Concurrency Theory (CONCUR 2019)
Fokkink, W. J. (ed.) & van Glabbeek, R. J. (ed.), 1 Aug 2019, Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. 642 p. (Leibniz International Proceedings in Informatics (LIPIcs))
Research output: Book/Report › Anthology

Open Access
File
2018

Proceedings: Third Workshop on Models for Formal Analysis of Real Systems rm and Sixth International Workshop on Verification and Program Transformation, Greece, 20th April 2018
Gallagher, J. (ed.), van Glabbeek, R. J. (ed.) & Serwe, W. (ed.), 23 Mar 2018, Open Publishing Association. (Electronic Proceedings in Theoretical Computer Science)
Research output: Book/Report › Anthology

Open Access