Rob van Glabbeek

2024

Definitive set semantics for LTL3

Amjad, R., van Glabbeek, R. & O'Connor, L., 12 Aug 2024, Archive of Formal Proofs, p. 1-40 40 p.

Research output: Contribution to specialist publication › Article

Open Access

Shoggoth: A Formal Foundation for Strategic Rewriting

Qin, X., O’Connor, L., van Glabbeek, R., Höfner, P., Kammar, O. & Steuwer, M., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages. 8, POPL, p. 61-89 29 p., 3.

Research output: Contribution to journal › Article › peer-review

Open Access

File

2023

Comparing the expressiveness of the π-calculus and CCS

van Glabbeek, R., 18 Nov 2023, In: ACM Transactions on Computational Logic. 25, 1, p. 1-58 58 p., 1.

Research output: Contribution to journal › Article › peer-review

Open Access

File

Modelling Mutual Exclusion in a Process Algebra with Time-outs

van Glabbeek, R., 25 Aug 2023, In: Information and Computation. 294, p. 1-36 36 p., 105079.

Research output: Contribution to journal › Article › peer-review

Open Access

File

Cross-chain payment protocols with success guarantees

van Glabbeek, R., Gramoli, V. & Tholoniat, P., Jun 2023, In: Distributed Computing. 36, 2, p. 137-157

Research output: Contribution to journal › Article › peer-review

Open Access

File

Reactive bisimulation semantics for a process algebra with timeouts

van Glabbeek, R., 1 Mar 2023, In: Acta Informatica. 60, 1, p. 11-57 47 p.

Research output: Contribution to journal › Article › peer-review

Open Access

File

2022

Abstract processes in the absence of conflicts in general place/transition systems

van Glabbeek, R., Goltz, U. & Schicke-Uffmann, J-W., 22 Nov 2022, In: Information and Computation. 289, Part A, 13 p., 104939.

Research output: Contribution to journal › Article › peer-review

2021

Abstract processes and conflicts in place/transition systems

van Glabbeek, R., Goltz, U. & Schicke-Uffmann, J-W., 1 Dec 2021, In: Information and Computation. 281, 13 p., 104706.

Research output: Contribution to journal › Article › peer-review

Failure Trace Semantics for a Process Algebra with Time-outs

van Glabbeek, R., 23 Apr 2021, In: Logical Methods in Computer Science. 17, 2, 40 p., 11.

Research output: Contribution to journal › Article › peer-review

Open Access

File

2020

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence

van Glabbeek, R., Luttik, B. & Spaninks, L., 31 Aug 2020, In: Logical Methods in Computer Science. 16, 3, 16 p., 14.

Research output: Contribution to journal › Article › peer-review

Open Access

File

Progress, Justness, and Fairness

van Glabbeek, R. & Höfner, P., 1 Jul 2020, In: ACM Computing Surveys. 52, 4, 38 p., 69.

Research output: Contribution to journal › Article › peer-review

2019

Ensuring liveness properties of distributed systems: Open problems

van Glabbeek, R., 1 Dec 2019, In: Journal of Logical and Algebraic Methods in Programming. 109, 19 p., 100480.

Research output: Contribution to journal › Article › peer-review

Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence

Fokkink, W., van Glabbeek, R. & Luttik, B., 1 Oct 2019, In: Information and Computation. 268, 31 p., 104435.

Research output: Contribution to journal › Article › peer-review

Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours

Fischer, N. & van Glabbeek, R., 1 Jan 2019, In: Journal of Logical and Algebraic Methods in Programming. 102, p. 64-102 39 p.

Research output: Contribution to journal › Article › peer-review

2018

On the validity of encodings of the synchronous in the asynchronous π-calculus

van Glabbeek, R. J., 3 May 2018, In: Information Processing Letters. 137, p. 17-25 9 p.

Research output: Contribution to journal › Article › peer-review

2017

Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity

Fokkink, W. & van Glabbeek, R., 1 Dec 2017, In: Information and Computation. 257, p. 79-113 35 p.

Research output: Contribution to journal › Article › peer-review

2016

Modelling and verifying the AODV routing protocol

van Glabbeek, R., Höfner, P., Portmann, M. & Tan, W. L., 1 Aug 2016, In: Distributed Computing. 29, 4, p. 279-315 37 p.

Research output: Contribution to journal › Article › peer-review

Mechanizing a Process Algebra for Network Protocols

Bourke, T., van Glabbeek, R. J. & Höfner, P., 23 Jan 2016, In: Journal of Automated Reasoning. 56, 3, p. 309-341 33 p.

Research output: Contribution to journal › Article › peer-review

2015

On the Axiomatizability of Impossible Futures

Chen, T., Fokkink, W. & van Glabbeek, R., 22 Sept 2015, In: Logical Methods in Computer Science. 11, 3, 31 p., 17.

Research output: Contribution to journal › Article › peer-review

Open Access

Analysing and comparing encodability criteria for process calculi

Peters, K. & van Glabbeek, R., 10 Aug 2015, Archive of Formal Proofs, p. 1-278 278 p.

Research output: Contribution to specialist publication › Article

Open Access

CCS: It’s not fair!

van Glabbeek, R. J. & Höfner, P., 19 Mar 2015, In: Acta Informatica. 52, 2, p. 175-205 31 p.

Research output: Contribution to journal › Article › peer-review

2014

Real-reward testing for probabilistic processes

Deng, Y., van Glabbeek, R., Hennessy, M. & Morgan, C., 12 Jun 2014, In: Theoretical Computer Science. 538, p. 16-36 21 p.

Research output: Contribution to journal › Article › peer-review

2013

On Characterising Distributability

van Glabbeek, R. J., Goltz, U. & Schicke-Uffmann, J-W., 17 Sept 2013, In: Logical Methods in Computer Science. 9, 3, 58 p., 17.

Research output: Contribution to journal › Article › peer-review

Open Access

File

2012

Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity

Fokkink, W., van Glabbeek, R. & Wind, P. D., 1 May 2012, In: Information and Computation. 214, p. 59-85 27 p.

Research output: Contribution to journal › Article › peer-review

2011

Abstract processes of place/transition systems

van Glabbeek, R. J., Goltz, U. & Schicke, J-W., 1 Jul 2011, In: Information Processing Letters. 111, 13, p. 626-633 8 p.

Research output: Contribution to journal › Article › peer-review

On cool congruence formats for weak bisimulations

van Glabbeek, R., 20 Jun 2011, In: Theoretical Computer Science. 412, 28, p. 3283-3302 20 p.

Research output: Contribution to journal › Article › peer-review

2009

Computation Tree Logic with Deadlock Detection

van Glabbeek, R., Luttik, B. & Trcka, N., 22 Dec 2009, In: Logical Methods in Computer Science. 5, 4, 24 p., 5.

Research output: Contribution to journal › Article › peer-review

Open Access

Branching Bisimilarity with Explicit Divergence

van Glabbeek, R., Luttik, B. & Trčka, N., 3 Dec 2009, In: Fundamenta Informaticae. 93, 4, p. 371-392 22 p.

Research output: Contribution to journal › Article › peer-review

Preface: Special Issue on Structural Operational Semantics

Glabbeek, R. V. & Mosses, P. D., 9 Jan 2009, In: Information and Computation. 207, 2, p. 83-84 2 p.

Research output: Contribution to journal › Article › peer-review

Open Access

Configuration structures, event structures and Petri nets

van Glabbeek, R. J. & Plotkin, G., 2009, In: Theoretical Computer Science. 410, 41, p. 4111-4159 49 p.

Research output: Contribution to journal › Article › peer-review

Open Access

File

2008

Ready to preorder: The case of weak process semantics

Chen, T., Fokkink, W. & van Glabbeek, R., 31 Dec 2008, In: Information Processing Letters. 109, 2, p. 104-111 8 p.

Research output: Contribution to journal › Article › peer-review

Characterising Testing Preorders for Finite Probabilistic Processes

Deng, Y., Hennessy, M., van Glabbeek, R. & Morgan, C., 28 Oct 2008, In: Logical Methods in Computer Science. 4, 4, 33 p., 4.

Research output: Contribution to journal › Article › peer-review

Open Access

2007

Remarks on Testing Probabilistic Processes

Deng, Y., van Glabbeek, R., Hennessy, M., Morgan, C. & Zhang, C., 1 Apr 2007, In: Electronic Notes in Theoretical Computer Science. 172, p. 359-397 39 p.

Research output: Contribution to journal › Article › peer-review

Open Access

2006

On Specifying Timeouts

van Glabbeek, R., 29 Sept 2006, In: Electronic Notes in Theoretical Computer Science. 162, p. 173-175 3 p.

Research output: Contribution to journal › Article › peer-review

Open Access

On the expressiveness of higher dimensional automata

van Glabbeek, R. J., 30 May 2006, In: Theoretical Computer Science. 356, 3, p. 265-290 26 p.

Research output: Contribution to journal › Article › peer-review

Divide and Congruence Applied to η-Bisimulation

Fokkink, W., van Glabbeek, R. & Wind, P. D., 15 May 2006, In: Electronic Notes in Theoretical Computer Science. 156, 1, p. 97-113 17 p.

Research output: Contribution to journal › Article › peer-review

Open Access

Compositionality of Hennessy–Milner logic by structural operational semantics

Fokkink, W., van Glabbeek, R. & Wind, P. D., 4 Apr 2006, In: Theoretical Computer Science. 354, 3, p. 421-440 20 p.

Research output: Contribution to journal › Article › peer-review

2005

Proof Nets for Unit-Free Multiplicative-Additive Linear Logic

Hughes, D. J. D. & van Glabbeek, R. J., 1 Oct 2005, In: ACM Transactions on Computational Logic. 6, 4, p. 784–842 59 p.

Research output: Contribution to journal › Article › peer-review

On the Expressiveness of Higher Dimensional Automata: (Extended Abstract)

van Glabbeek, R. J., 14 Apr 2005, In: Electronic Notes in Theoretical Computer Science. 128, 2, p. 5-34 30 p.

Research output: Contribution to journal › Article › peer-review

Open Access

2004

The Meaning of Negative Premises in Transition System Specifications II

van Glabbeek, R. J., 1 Jul 2004, In: Journal of Logic and Algebraic Programming. 60--61, p. 229-258 30 p.

Research output: Contribution to journal › Article › peer-review

Nested semantics over finite trees are equationally hard

Aceto, L., Fokkink, W., van Glabbeek, R. & Ingólfsdóttir, A., 15 Jun 2004, In: Information and Computation. 191, 2, p. 203-232 30 p.

Research output: Contribution to journal › Article › peer-review

Well-behaved Flow Event Structures for Parallel Composition and Action Refinement

van Glabbeek, R. J. & Goltz, U., 23 Jan 2004, In: Theoretical Computer Science. 311, 1-3, p. 463-478 16 p.

Research output: Contribution to journal › Article › peer-review

Precongruence Formats for Decorated Trace Semantics

Bloom, B., Fokkink, W. J. & van Glabbeek, R. J., 1 Jan 2004, In: ACM Transactions on Computational Logic. 5, 1, p. 26-78 53 p.

Research output: Contribution to journal › Article › peer-review

2001

Refinement of Actions and Equivalence Notions for Concurrent Systems

van Glabbeek, R. J. & Goltz, U., 1 Jan 2001, In: Acta Informatica. 37, 4-5, p. 229-327 99 p.

Research output: Contribution to journal › Article › peer-review

1997

The Difference Between Splitting in n and n+1

van Glabbeek, R. J. & Vaandrager, F. W., 1 Aug 1997, In: Information and Computation. 136, 2, p. 109-142 34 p.

Research output: Contribution to journal › Article › peer-review

Notes on the methodology of CCS and CSP

van Glabbeek, R. J., 15 May 1997, In: Theoretical Computer Science. 177, 2, p. 329-349 21 p.

Research output: Contribution to journal › Article › peer-review

1996

Axiomatizing Prefix Iteration with Silent Steps

Aceto, L., Fokkink, W. J., van Glabbeek, R. J. & Ingólfsdóttir, A., 5 May 1996, In: Information and Computation. 127, 1, p. 26-40 15 p.

Research output: Contribution to journal › Article › peer-review

Branching Time and Abstraction in Bisimulation Semantics

van Glabbeek, R. J. & Weijland, W. P., 1 May 1996, In: Journal of the ACM. 43, 3, p. 555-600 46 p.

Research output: Contribution to journal › Article › peer-review

Ntyft/ntyxt rules reduce to ntree rules

Fokkink, W. J. & van Glabbeek, R. J., 10 Apr 1996, In: Information and Computation. 126, 1, 10 p., 30.

Research output: Contribution to journal › Article › peer-review

1995

Reactive, generative, and stratified models of probabilistic processes

van Glabbeek, R. J., Smolka, S. A. & Steffen, B., 15 Aug 1995, In: Information and Computation. 121, 1, p. 59-80 22 p.

Research output: Contribution to journal › Article › peer-review

Rob van Glabbeek

Research output

Search results