


default search action
Rob J. van Glabbeek
Rob van Glabbeek
Person information
- affiliation: Data61, CSIRO, Sydney, Australia
- affiliation: Stanford University, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j53]Rayhana Amjad, Rob van Glabbeek, Liam O'Connor:
Definitive Set Semantics for LTL3. Arch. Formal Proofs 2024 (2024) - [j52]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): 61-89 (2024) - [j51]Rob van Glabbeek
:
Comparing the Expressiveness of the π-calculus and CCS. ACM Trans. Comput. Log. 25(1): 1:1-1:58 (2024) - [c92]Gaspard Reghem, Rob J. van Glabbeek:
Branching Bisimilarity for Processes with Time-Outs. CONCUR 2024: 36:1-36:22 - [c91]Rayhana Amjad, Rob van Glabbeek, Liam O'Connor:
Semantics for Linear-time Temporal Logic with Finite Observations. EXPRESS/SOS 2024: 35-50 - [i66]Yu Wang, Zhaohui Zhu, Rob van Glabbeek, Jinjin Zhang, Lixing Tan:
More on Maximally Permissive Similarity Control of Discrete Event Systems. CoRR abs/2407.08068 (2024) - [i65]Gaspard Reghem, Rob van Glabbeek:
Branching Bisimilarity for Processes with Time-outs. CoRR abs/2408.10117 (2024) - [i64]Gaspard Reghem, Rob van Glabbeek:
Concrete Branching Bisimilarity for Processes with Time-outs. CoRR abs/2412.19805 (2024) - 2023
- [j50]Rob van Glabbeek:
Reactive bisimulation semantics for a process algebra with timeouts. Acta Informatica 60(1): 11-57 (2023) - [j49]Rob van Glabbeek
, Vincent Gramoli, Pierre Tholoniat:
Cross-chain payment protocols with success guarantees. Distributed Comput. 36(2): 137-157 (2023) - [j48]Rob van Glabbeek
:
Modelling mutual exclusion in a process algebra with time-outs. Inf. Comput. 294: 105079 (2023) - [c90]Rob van Glabbeek
:
Just Testing. FoSSaCS 2023: 498-519 - [c89]Rob van Glabbeek, Jan Friso Groote
, Erik P. de Vink:
A Cancellation Law for Probabilistic Processes. EXPRESS/SOS 2023: 42-58 - [c88]Rob van Glabbeek, Peter Höfner, Weiyou Wang:
A Lean-Congruence Format for EP-Bisimilarity. EXPRESS/SOS 2023: 59-75 - [d2]Xueying Qin
, Liam O'Connor
, Rob van Glabbeek
, Peter Höfner
, Ohad Kammar
, Michel Steuwer
:
Artifact for Shoggoth - A Formal Foundation for Strategic Rewriting. Version 1. Zenodo, 2023 [all versions] - [d1]Xueying Qin
, Liam O'Connor
, Rob van Glabbeek
, Peter Höfner
, Ohad Kammar
, Michel Steuwer
:
Artifact for Shoggoth - A Formal Foundation for Strategic Rewriting. Version 2. Zenodo, 2023 [all versions] - [i63]Rob van Glabbeek, Peter Höfner, Weiyou Wang:
A Lean-Congruence Format for EP-Bisimilarity. CoRR abs/2308.16350 (2023) - 2022
- [j47]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): 104939 (2022) - [c87]Rob van Glabbeek
:
Fair Must Testing for I/O Automata. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 559-574 - [c86]Rob van Glabbeek
:
Comparing the expressiveness of the π-calculus and CCS. ESOP 2022: 548-574 - [i62]Rob van Glabbeek:
Comparing the expressiveness of the π-calculus and CCS. CoRR abs/2203.11519 (2022) - [i61]Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann:
Abstract Processes in the Absence of Conflicts in General Place/Transition Systems. CoRR abs/2207.04362 (2022) - [i60]Rob van Glabbeek:
Just Testing. CoRR abs/2212.08829 (2022) - [i59]Rob van Glabbeek:
Fair Must Testing for I/O Automata. CoRR abs/2212.11248 (2022) - 2021
- [j46]Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann:
Abstract processes and conflicts in place/transition systems. Inf. Comput. 281: 104706 (2021) - [j45]Rob van Glabbeek:
Failure Trace Semantics for a Process Algebra with Time-outs. Log. Methods Comput. Sci. 17(2) (2021) - [c85]Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida
:
CONCUR Test-Of-Time Award 2021 (Invited Paper). CONCUR 2021: 1:1-1:3 - [c84]Rob van Glabbeek, Peter Höfner, Weiyou Wang:
Enabling Preserving Bisimulation Equivalence. CONCUR 2021: 33:1-33:20 - [c83]Rob van Glabbeek, Peter Höfner, Ross Horne:
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. LICS 2021: 1-13 - [i58]Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke:
On Causal Semantics of Petri Nets. CoRR abs/2103.00729 (2021) - [i57]Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann:
Abstract Processes and Conflicts in Place/Transition Systems. CoRR abs/2103.01490 (2021) - [i56]Rob van Glabbeek:
Coinductive Validity. CoRR abs/2104.13021 (2021) - [i55]Rob van Glabbeek, Peter Höfner, Ross Horne:
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. CoRR abs/2104.14226 (2021) - [i54]Rob van Glabbeek:
Modelling Mutual Exclusion in a Process Algebra with Time-outs. CoRR abs/2106.12785 (2021) - [i53]Rob van Glabbeek, Peter Höfner, Weiyou Wang:
Enabling Preserving Bisimulation Equivalence. CoRR abs/2108.00142 (2021) - 2020
- [j44]Rob van Glabbeek, Bas Luttik, Linda Spaninks:
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence. Log. Methods Comput. Sci. 16(3) (2020) - [c82]Rob van Glabbeek:
Reactive Bisimulation Semantics for a Process Algebra with Time-Outs. CONCUR 2020: 6:1-6:23 - [c81]Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat:
Feasibility of Cross-Chain Payment with Success Guarantees. SPAA 2020: 579-581 - [c80]Ryan Barry, Rob van Glabbeek, Peter Höfner:
Formalising the Optimised Link State Routing Protocol. MARS@ETAPS 2020: 40-71 - [c79]Rob van Glabbeek:
Reactive Temporal Logic. EXPRESS/SOS 2020: 51-68 - [i52]Rob van Glabbeek:
Failure Trace Semantics for a Process Algebra with Time-outs (preliminary report). CoRR abs/2002.10814 (2020) - [i51]Rob J. van Glabbeek, Cornelis A. Middelburg:
On infinite guarded recursive specifications in process algebra. CoRR abs/2005.00746 (2020) - [i50]Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat:
Feasibility of Cross-Chain Payment with Success Guarantees. CoRR abs/2007.08152 (2020) - [i49]Rob van Glabbeek:
Reactive Bisimulation Semantics for a Process Algebra with Time-Outs. CoRR abs/2008.11499 (2020)
2010 – 2019
- 2019
- [j43]Rob van Glabbeek, Peter Höfner
:
Progress, Justness, and Fairness. ACM Comput. Surv. 52(4): 69:1-69:38 (2019) - [j42]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) - [j41]Rob van Glabbeek:
Ensuring liveness properties of distributed systems: Open problems. J. Log. Algebraic Methods Program. 109 (2019) - [j40]Nick Fischer, Rob van Glabbeek:
Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. J. Log. Algebraic Methods Program. 102: 64-102 (2019) - [c78]Rob van Glabbeek:
Reward Testing Equivalences for Processes. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 45-70 - [c77]Rob J. van Glabbeek, Jan Friso Groote
, Erik P. de Vink:
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract). The Art of Modelling Computational Systems 2019: 139-162 - [c76]Rob van Glabbeek, Ursula Goltz, Christopher Lippert, Stephan Mennicke
:
Stronger Validity Criteria for Encoding Synchrony. The Art of Modelling Computational Systems 2019: 182-205 - [c75]Rob van Glabbeek, Peter Höfner, Michael Markl:
A Process Algebra for Link Layer Protocols. ESOP 2019: 668-693 - [c74]Rob van Glabbeek:
Justness - A Completeness Criterion for Capturing Liveness Properties (Extended Abstract). FoSSaCS 2019: 505-522 - [c73]Rob van Glabbeek:
On the Meaning of Transition System Specifications. EXPRESS/SOS 2019: 69-85 - [e5]Wan J. Fokkink, Rob van Glabbeek:
30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands. LIPIcs 140, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-121-4 [contents] - [i48]Rob van Glabbeek, Peter Höfner, Michael Markl:
A Process Algebra for Link Layer Protocols. CoRR abs/1907.13329 (2019) - [i47]Rob van Glabbeek:
Reward Testing Equivalences for Processes. CoRR abs/1907.13348 (2019) - [i46]Wan J. Fokkink, Rob van Glabbeek, Bas Luttik:
Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence. CoRR abs/1908.06550 (2019) - [i45]Rob van Glabbeek:
Justness: A Completeness Criterion for Capturing Liveness Properties. CoRR abs/1909.00286 (2019) - [i44]Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat:
Cross-Chain Payment Protocols with Success Guarantees. CoRR abs/1912.04513 (2019) - [i43]Rob van Glabbeek:
Ensuring Liveness Properties of Distributed Systems: Open Problems. CoRR abs/1912.05616 (2019) - 2018
- [j39]Rob J. van Glabbeek:
On the validity of encodings of the synchronous in the asynchronous π-calculus. Inf. Process. Lett. 137: 17-25 (2018) - [c72]Rob van Glabbeek:
Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk). CONCUR 2018: 3:1-3:1 - [c71]Rob van Glabbeek:
A Theory of Encodings and Expressiveness (Extended Abstract) - (Extended Abstract). FoSSaCS 2018: 183-202 - [c70]Rob J. van Glabbeek, Peter Höfner, Djurre van der Wal:
Analysing AWN-Specifications Using mCRL2 (Extended Abstract). IFM 2018: 398-418 - [e4]John P. Gallagher, Rob van Glabbeek, Wendelin Serwe:
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. EPTCS 268, 2018 [contents] - [i42]Rob J. van Glabbeek, Bas Luttik, Linda Spaninks:
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence. CoRR abs/1801.01180 (2018) - [i41]Rob van Glabbeek:
On the Validity of Encodings of the Synchronous in the Asynchronous π-calculus. CoRR abs/1802.09182 (2018) - [i40]Rob van Glabbeek:
A Theory of Encodings and Expressiveness. CoRR abs/1805.10415 (2018) - [i39]Rob van Glabbeek, Peter Höfner:
Progress, Justness and Fairness. CoRR abs/1810.07414 (2018) - [i38]Nick Fischer, Rob van Glabbeek:
Axiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State Behaviours. CoRR abs/1810.07488 (2018) - 2017
- [j38]Wan J. Fokkink
, Rob J. van Glabbeek:
Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity. Inf. Comput. 257: 79-113 (2017) - [c69]Rob J. van Glabbeek:
A Branching Time Model of CSP. Concurrency, Security, and Puzzles 2017: 272-293 - [c68]Wan J. Fokkink
, Rob J. van Glabbeek, Bas Luttik:
Divide and Congruence III: Stability & Divergence. CONCUR 2017: 15:1-15:16 - [c67]Wan J. Fokkink
, Rob J. van Glabbeek:
Precongruence Formats with Lookahead through Modal Decomposition. CSL 2017: 25:1-25:20 - [c66]Rob J. van Glabbeek:
Lean and full congruence formats for recursion. LICS 2017: 1-11 - [c65]Rob J. van Glabbeek, Peter Höfner:
Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack. MARS@ETAPS 2017: 14-52 - [c64]Victor Dyseryn, Rob J. van Glabbeek, Peter Höfner:
Analysing Mutual Exclusion using Process Algebra with Signals. EXPRESS/SOS 2017: 18-34 - [i37]Rob J. van Glabbeek:
An Algebraic Treatment of Recursion. CoRR abs/1702.07838 (2017) - [i36]Rob J. van Glabbeek:
A Branching Time Model of CSP. CoRR abs/1702.07844 (2017) - [i35]Rob J. van Glabbeek:
Lean and Full Congruence Formats for Recursion. CoRR abs/1704.03160 (2017) - [i34]Rob J. van Glabbeek:
Ensuring Liveness Properties of Distributed Systems (A Research Agenda). CoRR abs/1711.04240 (2017) - 2016
- [j37]Rob J. van Glabbeek, Peter Höfner, Marius Portmann
, Wee Lum Tan
:
Modelling and verifying the AODV routing protocol. Distributed Comput. 29(4): 279-315 (2016) - [j36]Timothy Bourke
, Rob J. van Glabbeek, Peter Höfner:
Mechanizing a Process Algebra for Network Protocols. J. Autom. Reason. 56(3): 309-341 (2016) - [c63]Emile Bres, Rob J. van Glabbeek, Peter Höfner:
A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract). ESOP 2016: 95-122 - [c62]Wan J. Fokkink
, Rob J. van Glabbeek:
Divide and Congruence II: Delay and Weak Bisimilarity. LICS 2016: 778-787 - [i33]Wan J. Fokkink, Rob J. van Glabbeek:
Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity. CoRR abs/1604.07530 (2016) - [i32]Emile Bres, Rob J. van Glabbeek, Peter Höfner:
A Timed Process Algebra for Wireless Networks. CoRR abs/1606.03663 (2016) - [i31]Rob J. van Glabbeek, Dominic J. D. Hughes:
MALL proof nets identify proofs modulo rule commutation. CoRR abs/1609.04693 (2016) - 2015
- [j35]Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog:
Special issue on "Combining Compositionality and Concurrency": part 1. Acta Informatica 52(1): 3-4 (2015) - [j34]Rob J. van Glabbeek, Peter Höfner:
CCS: It's not fair! - Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. Acta Informatica 52(2-3): 175-205 (2015) - [j33]Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog:
Special issue on "Combining Compositionality and Concurrency": part 2. Acta Informatica 52(4-5): 303-304 (2015) - [j32]Kirstin Peters, Rob J. van Glabbeek:
Analysing and Comparing Encodability Criteria for Process Calculi. Arch. Formal Proofs 2015 (2015) - [j31]Taolue Chen
, Wan J. Fokkink
, Rob J. van Glabbeek:
On the Axiomatizability of Impossible Futures. Log. Methods Comput. Sci. 11(3) (2015) - [c61]Rob J. van Glabbeek:
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP. Correct System Design 2015: 99-130 - [c60]Kirstin Peters
, Rob J. van Glabbeek:
Analysing and Comparing Encodability Criteria. EXPRESS/SOS 2015: 46-60 - [e3]Rob J. van Glabbeek, Jan Friso Groote
, Peter Höfner:
Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015. EPTCS 196, 2015 [contents] - [i30]Rob J. van Glabbeek, Peter Höfner:
Progress, Fairness and Justness in Process Algebra. CoRR abs/1501.03268 (2015) - [i29]Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
A mechanized proof of loop freedom of the (untimed) AODV routing protocol. CoRR abs/1505.05646 (2015) - [i28]Rob J. van Glabbeek, Peter Höfner:
CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. CoRR abs/1505.05964 (2015) - [i27]Rob J. van Glabbeek:
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP. CoRR abs/1509.05842 (2015) - [i26]Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
Mechanizing a Process Algebra for Network Protocols. CoRR abs/1512.07304 (2015) - [i25]Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan:
Modelling and Analysis of AODV in UPPAAL. CoRR abs/1512.07312 (2015) - [i24]Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan:
A Process Algebra for Wireless Mesh Networks. CoRR abs/1512.07319 (2015) - [i23]Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan:
Automated Analysis of AODV using UPPAAL. CoRR abs/1512.07352 (2015) - [i22]Rob J. van Glabbeek, Peter Höfner, Marius Portmann, Wee Lum Tan:
Modelling and Verifying the AODV Routing Protocol. CoRR abs/1512.08867 (2015) - [i21]Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker:
A Rigorous Analysis of AODV and its Variants. CoRR abs/1512.08873 (2015) - [i20]Rob J. van Glabbeek, Peter Höfner, Wee Lum Tan, Marius Portmann:
Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops. CoRR abs/1512.08891 (2015) - 2014
- [j30]Yuxin Deng
, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan:
Real-reward testing for probabilistic processes. Theor. Comput. Sci. 538: 16-36 (2014) - [c59]Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol. ATVA 2014: 47-63 - [c58]Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
Showing Invariance Compositionally for a Process Algebra for Network Protocols. ITP 2014: 144-159 - [i19]Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
Showing invariance compositionally for a process algebra for network protocols. CoRR abs/1407.3519 (2014) - 2013
- [j29]Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann:
On Characterising Distributability. Log. Methods Comput. Sci. 9(3) (2013) - [c57]Rob J. van Glabbeek, Peter Höfner, Wee Lum Tan
, Marius Portmann
:
Sequence numbers do not guarantee loop freedom: AODV can yield routing loops. MSWiM 2013: 91-100 - [i18]Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan:
A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV. CoRR abs/1312.7645 (2013) - 2012
- [j28]Wan J. Fokkink
, Rob J. van Glabbeek, Paulien de Wind:
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity. Inf. Comput. 214: 59-85 (2012) - [c56]Ansgar Fehnker
, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver
, Marius Portmann
, Wee Lum Tan
:
A Process Algebra for Wireless Mesh Networks. ESOP 2012: 295-315 - [c55]Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann:
On Distributability of Petri Nets - (Extended Abstract). FoSSaCS 2012: 331-345 - [c54]Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan
, Marius Portmann
, Annabelle McIver
, Ansgar Fehnker
:
A rigorous analysis of AODV and its variants. MSWiM 2012: 203-212 - [c53]Ansgar Fehnker
, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver
, Marius Portmann
, Wee Lum Tan
:
Automated Analysis of AODV Using UPPAAL. TACAS 2012: 173-187 - [c52]Rob J. van Glabbeek:
Musings on Encodings and Expressiveness. EXPRESS/SOS 2012: 81-98 - [i17]Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann:
On Distributability of Petri Nets. CoRR abs/1207.3597 (2012) - 2011
- [j27]Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke:
Abstract processes of place/transition systems. Inf. Process. Lett. 111(13): 626-633 (2011) - [j26]