Rob van Glabbeek

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 57

Top Topics

Transition Systems

Top Venues

Publications

Rob van Glabbeek
Comparing the Expressiveness of the π-calculus and CCS. ACM Trans. Comput. Log. 25 (1) (2024)
Yu Wang, Zhaohui Zhu, Rob van Glabbeek, Jinjin Zhang, Lixing Tan
More on Maximally Permissive Similarity Control of Discrete Event Systems. CoRR (2024)
Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer
Shoggoth: A Formal Foundation for Strategic Rewriting. Proc. ACM Program. Lang. 8 (POPL) (2024)
Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink
A Cancellation Law for Probabilistic Processes. EXPRESS/SOS (2023)
Rob van Glabbeek
Modelling mutual exclusion in a process algebra with time-outs. Inf. Comput. 294 (2023)
Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat
Cross-chain payment protocols with success guarantees. Distributed Comput. 36 (2) (2023)
Rob van Glabbeek, Peter Höfner, Weiyou Wang
A Lean-Congruence Format for EP-Bisimilarity. CoRR (2023)
Rob van Glabbeek, Peter Höfner, Weiyou Wang
A Lean-Congruence Format for EP-Bisimilarity. EXPRESS/SOS (2023)
Rob van Glabbeek
Reactive bisimulation semantics for a process algebra with timeouts. Acta Informatica 60 (1) (2023)
Rob van Glabbeek
Just Testing. FoSSaCS (2023)
Rob van Glabbeek
Fair Must Testing for I/O Automata. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Rob van Glabbeek
Comparing the expressiveness of the π-calculus and CCS. ESOP (2022)
Rob van Glabbeek
Just Testing. CoRR (2022)
Rob van Glabbeek
Comparing the expressiveness of the π-calculus and CCS. CoRR (2022)
Rob van Glabbeek
Fair Must Testing for I/O Automata. CoRR (2022)
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
Abstract Processes in the Absence of Conflicts in General Place/Transition Systems. CoRR (2022)
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
Abstract processes in the absence of conflicts in general place/transition systems. Inf. Comput. 289 (Part) (2022)
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
Abstract processes and conflicts in place/transition systems. Inf. Comput. 281 (2021)
Rob van Glabbeek, Peter Höfner, Ross Horne
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. CoRR (2021)
Rob van Glabbeek, Peter Höfner, Weiyou Wang
Enabling Preserving Bisimulation Equivalence. CoRR (2021)
Rob van Glabbeek, Peter Höfner, Weiyou Wang
Enabling Preserving Bisimulation Equivalence. CONCUR (2021)
Rob van Glabbeek
Modelling Mutual Exclusion in a Process Algebra with Time-outs. CoRR (2021)
Rob van Glabbeek
Coinductive Validity. CoRR (2021)
Rob van Glabbeek
Failure Trace Semantics for a Process Algebra with Time-outs. Log. Methods Comput. Sci. 17 (2) (2021)
Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida
CONCUR Test-Of-Time Award 2021 (Invited Paper). CONCUR (2021)
Rob van Glabbeek, Peter Höfner, Ross Horne
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. LICS (2021)
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
On Causal Semantics of Petri Nets. CoRR (2021)
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
Abstract Processes and Conflicts in Place/Transition Systems. CoRR (2021)
Ryan Barry, Rob van Glabbeek, Peter Höfner
Formalising the Optimised Link State Routing Protocol. MARS@ETAPS (2020)
Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat
Feasibility of Cross-Chain Payment with Success Guarantees. CoRR (2020)
Rob van Glabbeek
Failure Trace Semantics for a Process Algebra with Time-outs (preliminary report). CoRR (2020)
Rob van Glabbeek
Reactive Temporal Logic. EXPRESS/SOS (2020)
Rob van Glabbeek
Reactive Bisimulation Semantics for a Process Algebra with Time-Outs. CONCUR (2020)
Rob van Glabbeek, Bas Luttik, Linda Spaninks
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence. Log. Methods Comput. Sci. 16 (3) (2020)
Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat
Feasibility of Cross-Chain Payment with Success Guarantees. SPAA (2020)
Rob van Glabbeek
Reactive Bisimulation Semantics for a Process Algebra with Time-Outs. CoRR (2020)
Rob van Glabbeek
Reward Testing Equivalences for Processes. CoRR (2019)
Rob van Glabbeek, Peter Höfner, Michael Markl
A Process Algebra for Link Layer Protocols. ESOP (2019)
Wan J. Fokkink, Rob van Glabbeek, Bas Luttik
Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence. Inf. Comput. 268 (2019)
Rob van Glabbeek
Ensuring liveness properties of distributed systems: Open problems. J. Log. Algebraic Methods Program. 109 (2019)
Nick Fischer, Rob van Glabbeek
Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. J. Log. Algebraic Methods Program. 102 (2019)
Rob van Glabbeek
Ensuring Liveness Properties of Distributed Systems: Open Problems. CoRR (2019)
Rob van Glabbeek, Peter Höfner
Progress, Justness, and Fairness. ACM Comput. Surv. 52 (4) (2019)
Rob van Glabbeek
Reward Testing Equivalences for Processes. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Rob van Glabbeek, Ursula Goltz, Christopher Lippert, Stephan Mennicke
Stronger Validity Criteria for Encoding Synchrony. The Art of Modelling Computational Systems (2019)
Wan J. Fokkink, Rob van Glabbeek, Bas Luttik
Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence. CoRR (2019)
Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat
Cross-Chain Payment Protocols with Success Guarantees. CoRR (2019)
Rob van Glabbeek
On the Meaning of Transition System Specifications. EXPRESS/SOS (2019)
Rob van Glabbeek, Peter Höfner, Michael Markl
A Process Algebra for Link Layer Protocols. CoRR (2019)
Rob van Glabbeek
Justness - A Completeness Criterion for Capturing Liveness Properties (Extended Abstract). FoSSaCS (2019)
Rob van Glabbeek
Justness: A Completeness Criterion for Capturing Liveness Properties. CoRR (2019)
Rob van Glabbeek, Peter Höfner
Progress, Justness and Fairness. CoRR (2018)
Rob van Glabbeek
A Theory of Encodings and Expressiveness. CoRR (2018)
Rob van Glabbeek
Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk). CONCUR (2018)
Rob van Glabbeek
A Theory of Encodings and Expressiveness (Extended Abstract) - (Extended Abstract). FoSSaCS (2018)
Nick Fischer, Rob van Glabbeek
Axiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State Behaviours. CoRR (2018)
Rob van Glabbeek
On the Validity of Encodings of the Synchronous in the Asynchronous π-calculus. CoRR (2018)
Rob van Glabbeek, Frits Vaandrager
Modular specification of process algebras Forschungsberichte, TU Munich (1990)
Rob van Glabbeek, Peter Weijland
Branching time and abstraction in bisimulation semantics Forschungsberichte, TU Munich (1990)
Rob van Glabbeek, Ursula Goltz
Equivalences and refinement Forschungsberichte, TU Munich (1990)
Rob van Glabbeek, Ursula Goltz
A deadlock-sensitive congruence for action refinement Forschungsberichte, TU Munich (1990)