Rob van Glabbeek

76 papers A* 1A 2B 10Journal 50Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Formal methods for mobile ad hoc networks: a survey. Formal Methods Syst. Des. Wan J. Fokkink, Rob van Glabbeek
2025	J	`jnl`	A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice. CoRR Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink
2025	J	`jnl`	Formal Methods for Mobile Ad Hoc Networks: A Survey. CoRR Wan J. Fokkink, Rob van Glabbeek
2025	B	`conf`	Just Verification of Mutual Exclusion Algorithms. CONCUR Rob van Glabbeek, Bas Luttik, Myrthe S. C. Spronck
2025	J	`jnl`	Just Verification of Mutual Exclusion Algorithms. CoRR Rob van Glabbeek, Bas Luttik, Myrthe S. C. Spronck
2025	J	`jnl`	Stronger Validity Criteria for Encoding Synchrony. CoRR Rob van Glabbeek, Ursula Goltz, Christopher Lippert, Stephan Mennicke
2025	—	`conf`	Unique Solutions of Guarded Recursive Equations. EXPRESS/SOS Rob van Glabbeek
2024	J	`jnl`	Branching Bisimilarity for Processes with Time-outs. CoRR Gaspard Reghem, Rob van Glabbeek
2024	J	`jnl`	Comparing the Expressiveness of the π-calculus and CCS. ACM Trans. Comput. Log. Rob van Glabbeek
2024	J	`jnl`	Concrete Branching Bisimilarity for Processes with Time-outs. CoRR Gaspard Reghem, Rob van Glabbeek
2024	J	`jnl`	Definitive Set Semantics for LTL3. Arch. Formal Proofs Rayhana Amjad, Rob van Glabbeek, Liam O'Connor
2024	J	`jnl`	More on Maximally Permissive Similarity Control of Discrete Event Systems. CoRR Yu Wang, Zhaohui Zhu, Rob van Glabbeek, Jinjin Zhang, Lixing Tan
2024	—	`conf`	Semantics for Linear-time Temporal Logic with Finite Observations. EXPRESS/SOS Rayhana Amjad, Rob van Glabbeek, Liam O'Connor
2024	J	`jnl`	Shoggoth: A Formal Foundation for Strategic Rewriting. Proc. ACM Program. Lang. Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer
2023	—	`conf`	A Cancellation Law for Probabilistic Processes. EXPRESS/SOS Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink
2023	J	`jnl`	A Lean-Congruence Format for EP-Bisimilarity. CoRR Rob van Glabbeek, Peter Höfner, Weiyou Wang
2023	—	`conf`	A Lean-Congruence Format for EP-Bisimilarity. EXPRESS/SOS Rob van Glabbeek, Peter Höfner, Weiyou Wang
2023	J	`jnl`	Cross-chain payment protocols with success guarantees. Distributed Comput. Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat
2023	B	`conf`	Just Testing. FoSSaCS Rob van Glabbeek
2023	J	`jnl`	Modelling mutual exclusion in a process algebra with time-outs. Inf. Comput. Rob van Glabbeek
2023	J	`jnl`	Reactive bisimulation semantics for a process algebra with timeouts. Acta Informatica Rob van Glabbeek
2022	J	`jnl`	Abstract Processes in the Absence of Conflicts in General Place/Transition Systems. CoRR Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
2022	J	`jnl`	Abstract processes in the absence of conflicts in general place/transition systems. Inf. Comput. Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
2022	A	`conf`	Comparing the expressiveness of the π-calculus and CCS. ESOP Rob van Glabbeek
2022	J	`jnl`	Comparing the expressiveness of the π-calculus and CCS. CoRR Rob van Glabbeek
2022	—	`conf`	Fair Must Testing for I/O Automata. A Journey from Process Algebra via Timed Automata to Model Learning Rob van Glabbeek
2022	J	`jnl`	Fair Must Testing for I/O Automata. CoRR Rob van Glabbeek
2022	J	`jnl`	Just Testing. CoRR Rob van Glabbeek
2021	J	`jnl`	Abstract Processes and Conflicts in Place/Transition Systems. CoRR Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
2021	J	`jnl`	Abstract processes and conflicts in place/transition systems. Inf. Comput. Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
2021	A*	`conf`	Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. LICS Rob van Glabbeek, Peter Höfner, Ross Horne
2021	J	`jnl`	Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. CoRR Rob van Glabbeek, Peter Höfner, Ross Horne
2021	B	`conf`	CONCUR Test-Of-Time Award 2021 (Invited Paper). CONCUR Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida
2021	J	`jnl`	Coinductive Validity. CoRR Rob van Glabbeek
2021	B	`conf`	Enabling Preserving Bisimulation Equivalence. CONCUR Rob van Glabbeek, Peter Höfner, Weiyou Wang
2021	J	`jnl`	Enabling Preserving Bisimulation Equivalence. CoRR Rob van Glabbeek, Peter Höfner, Weiyou Wang
2021	J	`jnl`	Failure Trace Semantics for a Process Algebra with Time-outs. Log. Methods Comput. Sci. Rob van Glabbeek
2021	J	`jnl`	Modelling Mutual Exclusion in a Process Algebra with Time-outs. CoRR Rob van Glabbeek
2021	J	`jnl`	On Causal Semantics of Petri Nets. CoRR Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
2020	J	`jnl`	Failure Trace Semantics for a Process Algebra with Time-outs (preliminary report). CoRR Rob van Glabbeek
2020	B	`conf`	Feasibility of Cross-Chain Payment with Success Guarantees. SPAA Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat
2020	J	`jnl`	Feasibility of Cross-Chain Payment with Success Guarantees. CoRR Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat
2020	—	`conf`	Formalising the Optimised Link State Routing Protocol. MARS Ryan Barry, Rob van Glabbeek, Peter Höfner
2020	B	`conf`	Reactive Bisimulation Semantics for a Process Algebra with Time-Outs. CONCUR Rob van Glabbeek
2020	J	`jnl`	Reactive Bisimulation Semantics for a Process Algebra with Time-Outs. CoRR Rob van Glabbeek
2020	—	`conf`	Reactive Temporal Logic. EXPRESS/SOS Rob van Glabbeek
2020	J	`jnl`	Rooted Divergence-Preserving Branching Bisimilarity is a Congruence. Log. Methods Comput. Sci. Rob van Glabbeek, Bas Luttik, Linda Spaninks
2019	B	`ed.`	30th International Conference on Concurrency Theory, CONCUR 2019, Amsterdam, The Netherlands, August 27-30, 2019 CONCUR Wan J. Fokkink, Rob van Glabbeek
2019	A	`conf`	A Process Algebra for Link Layer Protocols. ESOP Rob van Glabbeek, Peter Höfner, Michael Markl
2019	J	`jnl`	A Process Algebra for Link Layer Protocols. CoRR Rob van Glabbeek, Peter Höfner, Michael Markl
2019	J	`jnl`	Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. J. Log. Algebraic Methods Program. Nick Fischer, Rob van Glabbeek
2019	J	`jnl`	Cross-Chain Payment Protocols with Success Guarantees. CoRR Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat
2019	J	`jnl`	Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence. CoRR Wan J. Fokkink, Rob van Glabbeek, Bas Luttik
2019	J	`jnl`	Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence. Inf. Comput. Wan J. Fokkink, Rob van Glabbeek, Bas Luttik
2019	J	`jnl`	Ensuring Liveness Properties of Distributed Systems: Open Problems. CoRR Rob van Glabbeek
2019	J	`jnl`	Ensuring liveness properties of distributed systems: Open problems. J. Log. Algebraic Methods Program. Rob van Glabbeek
2019	B	`conf`	Justness - A Completeness Criterion for Capturing Liveness Properties (Extended Abstract). FoSSaCS Rob van Glabbeek
2019	J	`jnl`	Justness: A Completeness Criterion for Capturing Liveness Properties. CoRR Rob van Glabbeek
2019	—	`conf`	On the Meaning of Transition System Specifications. EXPRESS/SOS Rob van Glabbeek
2019	J	`jnl`	Progress, Justness, and Fairness. ACM Comput. Surv. Rob van Glabbeek, Peter Höfner
2019	—	`conf`	Reward Testing Equivalences for Processes. Models, Languages, and Tools for Concurrent and Distributed Programming Rob van Glabbeek
2019	J	`jnl`	Reward Testing Equivalences for Processes. CoRR Rob van Glabbeek
2019	—	`conf`	Stronger Validity Criteria for Encoding Synchrony. The Art of Modelling Computational Systems Rob van Glabbeek, Ursula Goltz, Christopher Lippert, Stephan Mennicke
2018	B	`conf`	A Theory of Encodings and Expressiveness (Extended Abstract) - (Extended Abstract). FoSSaCS Rob van Glabbeek
2018	J	`jnl`	A Theory of Encodings and Expressiveness. CoRR Rob van Glabbeek
2018	J	`jnl`	Axiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State Behaviours. CoRR Nick Fischer, Rob van Glabbeek
2018	B	`conf`	Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk). CONCUR Rob van Glabbeek
2018	J	`jnl`	On the Validity of Encodings of the Synchronous in the Asynchronous π-calculus. CoRR Rob van Glabbeek
2018	—	`ed.`	Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018. MARS/VPT John P. Gallagher, Rob van Glabbeek, Wendelin Serwe
2018	J	`jnl`	Progress, Justness and Fairness. CoRR Rob van Glabbeek, Peter Höfner
2007	—	`ed.`	Proceedings of the Fourth Workshop on Structural Operational Semantics, SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007 SOS@LICS/ICALP Rob van Glabbeek, Matthew Hennessy
2007	—	`ed.`	Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006 SOS Rob van Glabbeek, Peter D. Mosses
1990	J	`jnl`	A deadlock-sensitive congruence for action refinement Forschungsberichte, TU Munich Rob van Glabbeek, Ursula Goltz
1990	J	`jnl`	Branching time and abstraction in bisimulation semantics Forschungsberichte, TU Munich Rob van Glabbeek, Peter Weijland
1990	J	`jnl`	Equivalences and refinement Forschungsberichte, TU Munich Rob van Glabbeek, Ursula Goltz
1990	J	`jnl`	Modular specification of process algebras Forschungsberichte, TU Munich Rob van Glabbeek, Frits W. Vaandrager