By Dr Rob van Glabbeek

Journal articles

van Glabbeek R; Gorla D; Spronck M, 2026, 'On the notions of bounded bypass, and how to make any deadlock-free MUTEX protocol satisfy one of them', Distributed Computing, 39, http://dx.doi.org/10.1007/s00446-026-00512-3

Fokkink W; van Glabbeek R, 2026, 'Formal methods for mobile ad hoc networks: a survey', Formal Methods in System Design, 68, http://dx.doi.org/10.1007/s10703-025-00490-5

Wang Y; Zhu Z; van Glabbeek R; Zhang J; Li Y, 2026, 'The Similarity Control Problem with Required Events', IEEE Transactions on Automatic Control, http://dx.doi.org/10.1109/TAC.2026.3728353

Qin X; O'Connor L; Van Glabbeek R; Höfner P; Kammar O; Steuwer M, 2024, 'Shoggoth: A Formal Foundation for Strategic Rewriting', Proceedings of the ACM on Programming Languages, 8, pp. 61 - 89, http://dx.doi.org/10.1145/3633211

Van Glabbeek R, 2023, 'Comparing the Expressiveness of the π-calculus and CCS', ACM Transactions on Computational Logic, 25, http://dx.doi.org/10.1145/3611013

van Glabbeek R, 2023, 'Modelling mutual exclusion in a process algebra with time-outs', Information and Computation, 294, http://dx.doi.org/10.1016/j.ic.2023.105079

van Glabbeek R; Gramoli V; Tholoniat P, 2023, 'Cross-chain payment protocols with success guarantees', Distributed Computing, 36, pp. 137 - 157, http://dx.doi.org/10.1007/s00446-023-00446-0

van Glabbeek R, 2023, 'Reactive bisimulation semantics for a process algebra with timeouts', Acta Informatica, 60, pp. 11 - 57, http://dx.doi.org/10.1007/s00236-022-00417-1

van Glabbeek R; Goltz U; Schicke-Uffmann JW, 2022, 'Abstract processes in the absence of conflicts in general place/transition systems', Information and Computation, 289, http://dx.doi.org/10.1016/j.ic.2022.104939

van Glabbeek R; Goltz U; Schicke-Uffmann JW, 2021, 'Abstract processes and conflicts in place/transition systems', Information and Computation, 281, http://dx.doi.org/10.1016/j.ic.2021.104706

van Glabbeek R, 2021, 'Failure trace semantics for a process algebra with time-outs', Logical Methods in Computer Science, 17, http://dx.doi.org/10.23638/LMCS-17(2:11)2021

Van Glabbeek R; Höfner P, 2020, 'Progress, justness, and fairness', ACM Computing Surveys, 52, http://dx.doi.org/10.1145/3329125

VAN GLABBEEK R; Luttik B; Spaninks L, 2020, 'Rooted divergence-preserving branching bisimilarity is a congruence', Logical Methods in Computer Science, 16, pp. 1 - 14, http://dx.doi.org/10.23638/LMCS-16(3:14)2020

van Glabbeek RJ, 2019, 'Ensuring liveness properties of distributed systems: Open problems', Journal of Logical and Algebraic Methods in Programming, 109, http://dx.doi.org/10.1016/j.jlamp.2019.100480

Fokkink W; van Glabbeek R; Luttik B, 2019, 'Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence', Information and Computation, 268, http://dx.doi.org/10.1016/j.ic.2019.104435

van Glabbeek RJ, 2018, 'On the validity of encodings of the synchronous in the asynchronous π-calculus', Information Processing Letters, 137, pp. 17 - 25, http://dx.doi.org/10.1016/j.ipl.2018.04.015

Fokkink W; van Glabbeek R, 2017, 'Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity', Information and Computation, 257, pp. 79 - 113, http://dx.doi.org/10.1016/j.ic.2017.10.003

van Glabbeek R; Höfner P; Portmann M; Tan WL, 2016, 'Modelling and verifying the AODV routing protocol', Distributed Computing, 29, pp. 279 - 315, http://dx.doi.org/10.1007/s00446-015-0262-7

Bourke T; van Glabbeek RJ; Höfner P, 2016, 'Mechanizing a Process Algebra for Network Protocols', Journal of Automated Reasoning, 56, pp. 309 - 341, http://dx.doi.org/10.1007/s10817-015-9358-9

van Glabbeek R; Groote JF; Höfner P, 2015, 'Proceedings Workshop on Models for Formal Analysis of Real Systems', Electronic Proceedings in Theoretical Computer Science, 196, http://dx.doi.org/10.4204/eptcs.196.0

Chen T; Fokkink W; Van Glabbeek R, 2015, 'On the axiomatizability of impossible futures', Logical Methods in Computer Science, 11, http://dx.doi.org/10.2168/LMCS-11(3:17)2015

van Glabbeek RJ; Goltz U; Olderog E-R, 2015, 'Special issue on “Combining Compositionality and Concurrency”: part 2', Acta Informatica, http://dx.doi.org/10.1007/s00236-015-0240-3

van Glabbeek RJ; Höfner P, 2015, 'CCS: It’s not fair!: Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions', Acta Informatica, 52, pp. 175 - 205, http://dx.doi.org/10.1007/s00236-015-0221-6

van Glabbeek RJ; Goltz U; Olderog ER, 2015, 'Special issue on “Combining Compositionality and Concurrency”: part 1', Acta Informatica, 52, pp. 3 - 4, http://dx.doi.org/10.1007/s00236-014-0213-y

Deng Y; van Glabbeek R; Hennessy M; Morgan C, 2014, 'Real-reward testing for probabilistic processes', Theoretical Computer Science, 538, pp. 16 - 36, http://dx.doi.org/10.1016/j.tcs.2013.07.016

van Glabbeek R; Goltz U; Schicke-Uffmann JW, 2013, 'On characterising distributability', Logical Methods in Computer Science, 9, http://dx.doi.org/10.2168/LMCS-9(3:17)2013

Fokkink W; van Glabbeek RJ; de Wind P, 2012, 'Divide and Congruence: From Decomposition of Modal Formulas to Preservation of Branching and η-Bisimilarity', Information and Computation, 214, pp. 59 - 85, http://dx.doi.org/10.1016/j.ic.2011.10.011

Hoefner P; van Glabbeek RJ; Hayes I, 2012, 'Preface - Morgan: a suitable case for treatment', Formal Aspects of Computing, 24, pp. 417 - 422, http://dx.doi.org/10.1007/s00165-012-0257-0

Deng Y; van Glabbeek RJ; Hennessy M; Morgan CC, 2011, 'Real-Reward Testing for Probabilistic Processes (extended abstract)', Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 57, pp. 61 - 73, http://dx.doi.org/10.1016/j.tcs.2013.07.016

van Glabbeek RJ; Goltz U; Schicke J, 2011, 'Abstract processes of place/transition systems', Information Processing Letters, 111, pp. 626 - 633, http://dx.doi.org/10.1016/j.ipl.2011.03.013

van Glabbeek RJ, 2011, 'On cool congruence formats for weak bisimulations', Theoretical Computer Science, 412, pp. 3283 - 3302, http://dx.doi.org/10.1016/j.tcs.2011.02.036

van Glabbeek RJ; Luttik B; Trka N, 2009, 'Branching bisimilarity with explicit divergence', Fundamenta Informaticae, 93, pp. 371 - 392

van Glabbeek RJ; Luttik B; Trka N, 2009, 'Computation Tree Logic with Deadlock Detection', Logical Methods in Computer Science, 5, pp. 1 - 21, http://dx.doi.org/10.2168/LMCS-5(4:5)2009

van Glabbeek RJ; Plotkin G, 2009, 'Configuration structures, event structures and Petri nets', Theoretical Computer Science, 410, pp. 4111 - 4159, http://dx.doi.org/10.1016/j.tcs.2009.06.014

van Glabbeek RJ; Mosses P, 2009, 'Special issue on structural operational semantics: Preface', Information and Computation, 207, pp. 83 - 84, http://dx.doi.org/10.1016/j.ic.2008.10.006

van Glabbeek RJ; Goltz U; Schicke J, 2009, 'Symmetric and Asymmetric Asynchronous Interaction', Electronic Notes in Theoretical Computer Science, 229, pp. 77 - 95, http://dx.doi.org/10.1016/j.entcs.2009.06.040

Deng Y; van Glabbeek RJ; Hennessy M; Morgan CC, 2008, 'Characterising Testing Preorders for Finite Probabilistic Processes', Logical Methods in Computer Science, 4, http://dx.doi.org/10.2168/LMCS-4(4:4)2008

Fokkink W; van Glabbeek RJ, 2008, 'Ready to preorder: The case of weak process semantics', Information Processing Letters, 109, pp. 104 - 111

van Glabbeek R; Mosses PD, 2007, 'Preface', Electronic Notes in Theoretical Computer Science, 175, pp. 1 - 2, http://dx.doi.org/10.1016/j.entcs.2006.11.016

van Glabbeek RJ, 2007, 'Preface', Electronic Notes in Theoretical Computer Science, 75

van Glabbeek RJ; Hennessy M, 2007, 'Preface', Electronic Notes in Theoretical Computer Science, 192

Deng Y; van Glabbeek RJ; Hennessy M; Morgan CC; Zhang C, 2007, 'Remarks on Testing Probabilistic Processes', Electronic Notes in Theoretical Computer Science, 172, pp. 359 - 397, http://dx.doi.org/10.1016/j.entcs.2007.02.013

van Glabbeek RJ, 2006, 'Erratum to "On the expressiveness of higher dimensional automata". [Theoret. Comput. Sci. 356 (2006) 265-290] (DOI:10.1016/j.tcs.2006.02.012)', Theoretical Computer Science, 368, pp. 168 - 194, http://dx.doi.org/10.1016/j.tcs.2006.06.024

Fokkink W; Van Glabbeek R; De Wind P, 2006, 'Divide and congruence: From decomposition of modalities to preservation of branching bisimulation', Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 4111 LNCS, pp. 195 - 218, http://dx.doi.org/10.1007/11804192_10

Fokkink W; van Glabbeek RJ; de Wind P, 2006, 'Compositionality of Hennessy-Milner logic by structural operational semantics', Theoretical Computer Science, 354, pp. 421 - 440

van Glabbeek RJ, 2006, 'On Specifying Timeouts', Electronic Notes in Theoretical Computer Science, 162, pp. 173 - 175, http://dx.doi.org/10.1016/j.entcs.2005.12.083

van Glabbeek RJ, 2006, 'On the expressiveness of higher dimensional automata', Theoretical Computer Science, 356, pp. 265 - 290, http://dx.doi.org/10.1016/j.tcs.2006.02.012

van Glabbeek RJ, 2006, 'On the expressiveness of higher dimensional automata (vol 356, pg 265, 2006)', Theoretical Computer Science, 368, pp. 168 - 194

Van Glabbeek RJ, 2005, 'On cool congruence formats for weak bisimulations', Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 3722 LNCS, pp. 318 - 333, http://dx.doi.org/10.1007/11560647_21

van Glabbeek RJ; Hughes D, 2005, 'Proof nets for unit-free multiplicative additive linear logic', ACM Transactions on Computational Logic, 6 (4), pp. 784 - 842

Back to profile page