Rob van Glabbeek

Rob van Glabbeek

DR, Professor

 https://orcid.org/0000-0003-4712-7423

Accepting PhD Students

PhD projects

Concurrency theory

Filter
Chapter (peer-reviewed)

Search results

  • 2022

    Fair Must Testing for I/O Automata

    van Glabbeek, R., 7 Sept 2022, A Journey from Process Algebra via Timed Automata to Model Learning. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, Vol. 13560. p. 559-574 16 p. (Lecture Notes in Computer Science; vol. 13560).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File
  • 2019

    A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice

    van Glabbeek, R. J., Groote, J. F. & de Vink, E. P., 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham: Springer, p. 139-162 24 p. (Lecture Notes in Computer Science; vol. 11760).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Stronger Validity Criteria for Encoding Synchrony

    van Glabbeek, R., Goltz, U., Lippert, C. & Mennicke, S., 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham: Springer, p. 182-205 24 p. (Lecture Notes in Computer Science; vol. 11760).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Reward Testing Equivalences for Processes

    van Glabbeek, R., 3 Jul 2019, Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Boreale, M., Corradini, F., Loreti, M. & Pugliese, R. (eds.). Cham: Springer, p. 45-70 26 p. (Lecture Notes in Computer Science; vol. 11665).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2016

    A Branching Time Model of CSP

    van Glabbeek, R., 18 Dec 2016, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (eds.). Cham: Springer, p. 272-293 22 p. (Lecture Notes in Computer Science; vol. 10160).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2015

    Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP

    van Glabbeek, R. J., 10 Nov 2015, Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings. Meyer, R., Platzer, A. & Wehrheim, H. (eds.). Cham: Springer, p. 99-130 32 p. (Lecture Notes in Computer Science; vol. 9360).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2010

    On CSP and the Algebraic Theory of Effects

    van Glabbeek, R. & Plotkin, G., 2010, Reflections on the Work of C.A.R. Hoare. Roscoe, A. W., Jones, C. B. & Wood, K. R. (eds.). London: Springer, p. 333-369 37 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2005

    A Characterisation of Weak Bisimulation Congruence

    van Glabbeek, R. J., 10 Dec 2005, Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Middeldorp, A., van Oostrom, V., van Raamsdonk, F. & de Vrijer, R. (eds.). Berlin, Heidelberg: Springer, p. 26-39 14 p. (Lecture Notes in Computer Science; vol. 3838).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2001

    The Linear Time -- Branching Time Spectrum I; The Semantics of Concrete, Sequential Processes

    van Glabbeek, R. J., 16 Mar 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (eds.). Elsevier Science, p. 3-99 97 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • What is branching time semantics and why to use it?

    van Glabbeek, R. J., 1 Feb 2001, Current Trends in Theoretical Computer Science; Entering the 21st Century. Paun, G., Rozenberg, G. & Salomaa, A. (eds.). World Scientific, p. 469-479 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 1992

    Interleaving semantics and action refinement with atomic choice

    Czaja, I., van Glabbeek, R. J. & Goltz, U., 10 Jun 1992, Advances in Petri Nets 1992. Rozenberg, G. (ed.). Springer, Vol. 609. p. 89-107 19 p. (Lecture Notes in Computer Science; vol. 609).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 1989

    Refinement in Branching Time Semantics

    van Glabbeek, R. J. & Weijland, W. P., 1 Apr 1989, J.W. de Bakker, 25 jaar semantiek: liber amicorum. Klop, J. W., Meijer, J. J. C. & Rutten, J. J. M. M. (eds.). CWI, p. 197-201 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

  • The processes of De Bakker and Zucker represent bisimulation equivalence classes

    van Glabbeek, R. J. & Rutten, J. J. M. M., 1 Apr 1989, J.W. de Bakker, 25 jaar semantiek: liber amicorum. Klop, J. W., Meijer, J. J. C. & Rutten, J. J. M. M. (eds.). Amsterdam: CWI, p. 243-246 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)