Rob van Glabbeek

University of Edinburgh — United Kingdom

Computer Science · Physical Sciences

26h-index2.6kcitations137works0.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(90), Logic, programming, and type systems(67), Logic, Reasoning, and Knowledge(38), Petri Nets in System Modeling(31), Distributed systems and fault tolerance(28)

Publications137 total

Formal methods for mobile ad hoc networks: a survey
Formal Methods in System Design·2025
Formal Methods for Mobile Ad Hoc Networks: A Survey
arXiv (Cornell University)·2025Open Access
Just Verification of Mutual Exclusion Algorithms
arXiv (Cornell University)·2025Open Access
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
arXiv (Cornell University)·2025Open Access
Semantics for Linear-time Temporal Logic with Finite Observations
Electronic Proceedings in Theoretical Computer Science·2024Open Access
Concrete Branching Bisimilarity for Processes with Time-outs
arXiv (Cornell University)·2024Open Access
More on Maximally Permissive Similarity Control of Discrete Event Systems
arXiv (Cornell University)·2024Open Access
Shoggoth: A Formal Foundation for Strategic Rewriting
Proceedings of the ACM on Programming Languages·2024· 2 citedOpen Access
Branching Bisimilarity for Processes with Time-Outs
arXiv (Cornell University)·2024Open Access
Comparing the Expressiveness of the π-calculus and CCS
ACM Transactions on Computational Logic·2023· 1 citedOpen Access
A Lean-Congruence Format for EP-Bisimilarity
Electronic Proceedings in Theoretical Computer Science·2023· 1 citedOpen Access
A Cancellation Law for Probabilistic Processes
Electronic Proceedings in Theoretical Computer Science·2023Open Access
A Lean-Congruence Format for EP-Bisimilarity
arXiv (Cornell University)·2023Open Access
Modelling mutual exclusion in a process algebra with time-outs
Information and Computation·2023Open Access
Cross-chain payment protocols with success guarantees
Distributed Computing·2023· 8 citedOpen Access
Just Testing
Lecture notes in computer science·2023· 1 citedOpen Access
Just Testing
arXiv (Cornell University)·2022Open Access
Abstract processes in the absence of conflicts in general place/transition systems
Information and Computation·2022Open Access
Reactive bisimulation semantics for a process algebra with timeouts
Acta Informatica·2022· 4 citedOpen Access
Comparing the expressiveness of the $π$-calculus and CCS
arXiv (Cornell University)·2022Open Access
page 1 of 7Next →

Frequent Co-authors

Wan Fokkink(9), Peter Höfner(9), Ursula Goltz(7), Frits Vaandrager(5), Paulien de Wind(5), Marius Portmann(4), Wee Lum Tan(4), Yuxin Deng(4), Matthew Hennessy(3), Carroll Morgan(3), Chenyi Zhang(3), Bas Luttik(2), Nikola Trčka(2), Ansgar Fehnker(2), Annabelle McIver(2), Luca Aceto(2), Anna Ingólfsdóttir(2), Bas Ploeger(2), Scott A. Smolka(1), Bernhard Steffen(1)