Rob J. van Glabbeek

According to our database, Rob J. van Glabbeek authored at least 161 papers between 1987 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Comparing the Expressiveness of the π-calculus and CCS.

Rob van Glabbeek

ACM Trans. Comput. Log., January, 2024

Shoggoth: A Formal Foundation for Strategic Rewriting.

Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer

Proc. ACM Program. Lang., January, 2024

2023

Modelling mutual exclusion in a process algebra with time-outs.

Rob van Glabbeek

Inf. Comput., October, 2023

Cross-chain payment protocols with success guarantees.

Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat

Distributed Comput., June, 2023

Reactive bisimulation semantics for a process algebra with timeouts.

Rob van Glabbeek

Acta Informatica, March, 2023

A Lean-Congruence Format for EP-Bisimilarity.

Rob van Glabbeek, Peter Höfner, Weiyou Wang

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

A Cancellation Law for Probabilistic Processes.

Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

Just Testing.

Rob van Glabbeek

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

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

Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann

Inf. Comput., 2022

Fair Must Testing for I/O Automata.

Rob van Glabbeek

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Failure Trace Semantics for a Process Algebra with Time-outs.

Rob van Glabbeek

Log. Methods Comput. Sci., 2021

Abstract processes and conflicts in place/transition systems.

Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann

Inf. Comput., 2021

Coinductive Validity.

Rob van Glabbeek

CoRR, 2021

Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom.

Rob van Glabbeek, Peter Höfner, Ross Horne

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Enabling Preserving Bisimulation Equivalence.

Rob van Glabbeek, Peter Höfner, Weiyou Wang

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

CONCUR Test-Of-Time Award 2021 (Invited Paper).

Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence.

Rob van Glabbeek, Bas Luttik, Linda Spaninks

Log. Methods Comput. Sci., 2020

Reactive Temporal Logic.

Rob van Glabbeek

Proceedings of the Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, 2020

On infinite guarded recursive specifications in process algebra.

Rob J. van Glabbeek, Cornelis A. Middelburg

CoRR, 2020

Formalising the Optimised Link State Routing Protocol.

Ryan Barry, Rob van Glabbeek, Peter Höfner

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

Failure Trace Semantics for a Process Algebra with Time-outs (preliminary report).

Rob van Glabbeek

CoRR, 2020

Feasibility of Cross-Chain Payment with Success Guarantees.

Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat

Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

Reactive Bisimulation Semantics for a Process Algebra with Time-Outs.

Rob van Glabbeek

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours.

Nick Fischer, Rob van Glabbeek

J. Log. Algebraic Methods Program., 2019

Ensuring liveness properties of distributed systems: Open problems.

Rob van Glabbeek

J. Log. Algebraic Methods Program., 2019

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

Wan J. Fokkink, Rob van Glabbeek, Bas Luttik

Inf. Comput., 2019

Progress, Justness, and Fairness.

Rob van Glabbeek, Peter Höfner

ACM Comput. Surv., 2019

Justness: A Completeness Criterion for Capturing Liveness Properties.

Rob van Glabbeek

CoRR, 2019

On the Meaning of Transition System Specifications.

Rob van Glabbeek

Proceedings of the Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, 2019

Justness - A Completeness Criterion for Capturing Liveness Properties (Extended Abstract).

Rob van Glabbeek

Proceedings of the Foundations of Software Science and Computation Structures, 2019

A Process Algebra for Link Layer Protocols.

Rob van Glabbeek, Peter Höfner, Michael Markl

Proceedings of the Programming Languages and Systems, 2019

A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract).

Rob J. van Glabbeek, Jan Friso Groote, Erik P. de Vink

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Stronger Validity Criteria for Encoding Synchrony.

Rob van Glabbeek, Ursula Goltz, Christopher Lippert, Stephan Mennicke

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Reward Testing Equivalences for Processes.

Rob van Glabbeek

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

On the validity of encodings of the synchronous in the asynchronous <i>π</i>-calculus.

Rob J. van Glabbeek

Inf. Process. Lett., 2018

A Theory of Encodings and Expressiveness.

Rob van Glabbeek

CoRR, 2018

On the Validity of Encodings of the Synchronous in the Asynchronous π-calculus.

Rob van Glabbeek

CoRR, 2018

Analysing AWN-Specifications Using mCRL2 (Extended Abstract).

Rob J. van Glabbeek, Peter Höfner, Djurre van der Wal

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

A Theory of Encodings and Expressiveness (Extended Abstract) - (Extended Abstract).

Rob van Glabbeek

Proceedings of the Foundations of Software Science and Computation Structures, 2018

Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk).

Rob van Glabbeek

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

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

Wan J. Fokkink, Rob J. van Glabbeek

Inf. Comput., 2017

Ensuring Liveness Properties of Distributed Systems (A Research Agenda).

Rob J. van Glabbeek

CoRR, 2017

Analysing Mutual Exclusion using Process Algebra with Signals.

Victor Dyseryn, Rob J. van Glabbeek, Peter Höfner

Proceedings of the Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, 2017

Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack.

Rob J. van Glabbeek, Peter Höfner

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

An Algebraic Treatment of Recursion.

Rob J. van Glabbeek

CoRR, 2017

Lean and full congruence formats for recursion.

Rob J. van Glabbeek

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Precongruence Formats with Lookahead through Modal Decomposition.

Wan J. Fokkink, Rob J. van Glabbeek

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

Divide and Congruence III: Stability & Divergence.

Wan J. Fokkink, Rob J. van Glabbeek, Bas Luttik

Proceedings of the 28th International Conference on Concurrency Theory, 2017

A Branching Time Model of CSP.

Rob J. van Glabbeek

Proceedings of the Concurrency, Security, and Puzzles, 2017

2016

Mechanizing a Process Algebra for Network Protocols.

Timothy Bourke, Rob J. van Glabbeek, Peter Höfner

J. Autom. Reason., 2016

Modelling and verifying the AODV routing protocol.

Rob J. van Glabbeek, Peter Höfner, Marius Portmann, Wee Lum Tan

Distributed Comput., 2016

MALL proof nets identify proofs modulo rule commutation.

Rob J. van Glabbeek, Dominic J. D. Hughes

CoRR, 2016

A Timed Process Algebra for Wireless Networks.

Emile Bres, Rob J. van Glabbeek, Peter Höfner

CoRR, 2016

Divide and Congruence II: Delay and Weak Bisimilarity.

Wan J. Fokkink, Rob J. van Glabbeek

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract).

Emile Bres, Rob J. van Glabbeek, Peter Höfner

Proceedings of the Programming Languages and Systems, 2016

2015

Analysing and Comparing Encodability Criteria.

Kirstin Peters, Rob J. van Glabbeek

Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, 2015

Progress, Fairness and Justness in Process Algebra.

Rob J. van Glabbeek, Peter Höfner

CoRR, 2015

Modelling and Analysis of AODV in UPPAAL.

Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan

CoRR, 2015

On the Axiomatizability of Impossible Futures.

Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek

Log. Methods Comput. Sci., 2015

Analysing and Comparing Encodability Criteria for Process Calculi.

Kirstin Peters, Rob J. van Glabbeek

Arch. Formal Proofs, 2015

CCS: It's not fair! - Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions.

Rob J. van Glabbeek, Peter Höfner

Acta Informatica, 2015

Special issue on "Combining Compositionality and Concurrency": part 2.

Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog

Acta Informatica, 2015

Special issue on "Combining Compositionality and Concurrency": part 1.

Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog

Acta Informatica, 2015

Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP.

Rob J. van Glabbeek

Proceedings of the Correct System Design, 2015

2014

Real-reward testing for probabilistic processes.

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan

Theor. Comput. Sci., 2014

Showing Invariance Compositionally for a Process Algebra for Network Protocols.

Timothy Bourke, Rob J. van Glabbeek, Peter Höfner

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol.

Timothy Bourke, Rob J. van Glabbeek, Peter Höfner

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

On Characterising Distributability.

Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann

Log. Methods Comput. Sci., 2013

A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV.

Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan

CoRR, 2013

Sequence numbers do not guarantee loop freedom: AODV can yield routing loops.

Rob J. van Glabbeek, Peter Höfner, Wee Lum Tan, Marius Portmann

Proceedings of the 16th ACM International Conference on Modeling, 2013

2012

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

Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind

Inf. Comput., 2012

Musings on Encodings and Expressiveness

Rob J. van Glabbeek

Proceedings of the Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012

On Distributability of Petri Nets

Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann

CoRR, 2012

Automated Analysis of AODV Using UPPAAL.

Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

A rigorous analysis of AODV and its variants.

Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker

Proceedings of the 15th ACM International Conference on Modeling, 2012

On Distributability of Petri Nets - (Extended Abstract).

Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann

Proceedings of the Foundations of Software Science and Computational Structures, 2012

A Process Algebra for Wireless Mesh Networks.

Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan

Proceedings of the Programming Languages and Systems, 2012

2011

Bisimulation.

Rob J. van Glabbeek

Proceedings of the Encyclopedia of Parallel Computing, 2011

On cool congruence formats for weak bisimulations.

Rob J. van Glabbeek

Theor. Comput. Sci., 2011

Abstract processes of place/transition systems.

Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke

Inf. Process. Lett., 2011

Real-Reward Testing for Probabilistic Processes (Extended Abstract)

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

On Causal Semantics of Petri Nets.

Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

On CSP and the Algebraic Theory of Effects

Rob J. van Glabbeek, Gordon D. Plotkin

CoRR, 2010

Characterising Probabilistic Processes Logically

Yuxin Deng, Rob J. van Glabbeek

CoRR, 2010

Characterising Probabilistic Processes Logically - (Extended Abstract).

Yuxin Deng, Rob J. van Glabbeek

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

The Coarsest Precongruences Respecting Safety and Liveness Properties.

Rob J. van Glabbeek

Proceedings of the Theoretical Computer Science, 2010

On CSP and the Algebraic Theory of Effects.

Rob J. van Glabbeek, Gordon D. Plotkin

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009

Configuration structures, event structures and Petri nets.

Rob J. van Glabbeek, Gordon D. Plotkin

Theor. Comput. Sci., 2009

Special issue on structural operational semantics.

Rob J. van Glabbeek, Peter D. Mosses

Inf. Comput., 2009

Branching Bisimilarity with Explicit Divergence.

Rob J. van Glabbeek, Bas Luttik, Nikola Trcka

Fundam. Informaticae, 2009

Computation Tree Logic with Deadlock Detection

Rob J. van Glabbeek, Bas Luttik, Nikola Trcka

Log. Methods Comput. Sci., 2009

On Finite Bases for Weak Semantics: Failures Versus Impossible Futures.

Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Testing Finitary Probabilistic Processes.

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Characterising Testing Preorders for Finite Probabilistic Processes.

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan

Log. Methods Comput. Sci., 2008

Ready to preorder: The case of weak process semantics.

Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek

Inf. Process. Lett., 2008

Symmetric and Asymmetric Asynchronous Interaction.

Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke

Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

Five Determinisation Algorithms.

Rob J. van Glabbeek, Bas Ploeger

Proceedings of the Implementation and Applications of Automata, 2008

On Synchronous and Asynchronous Interaction in Distributed Systems.

Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke

Proceedings of the Mathematical Foundations of Computer Science 2008, 2008

Correcting a Space-Efficient Simulation Algorithm.

Rob J. van Glabbeek, Bas Ploeger

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Preface.

Rob J. van Glabbeek, Matthew Hennessy

Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007

Remarks on Testing Probabilistic Processes.

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Characterising Testing Preorders for Finite Probabilistic Processes.

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Scalar Outcomes Suffice for Finitary Probabilistic Testing.

Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang

Proceedings of the Programming Languages and Systems, 2007

2006

Erratum to "On the expressiveness of higher dimensional automata": [TCS 356 (2006) 265-290].

Rob J. van Glabbeek

Theor. Comput. Sci., 2006

On the expressiveness of higher dimensional automata.

Rob J. van Glabbeek

Theor. Comput. Sci., 2006

Compositionality of Hennessy-Milner logic by structural operational semantics.

Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind

Theor. Comput. Sci., 2006

Preface.

Rob J. van Glabbeek, Peter D. Mosses

Proceedings of the Third Workshop on Structural Operational Semantics, 2006

Liveness, Fairness and Impossible Futures.

Rob J. van Glabbeek, Marc Voorhoeve

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Proof nets for unit-free multiplicative-additive linear logic.

Dominic J. D. Hughes, Rob J. van Glabbeek

ACM Trans. Comput. Log., 2005

On Specifying Timeouts.

Rob J. van Glabbeek

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Divide and Congruence Applied to <i>eta</i>-Bisimulation.

Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation.

Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

The Individual and Collective Token Interpretations of Petri Nets.

Rob J. van Glabbeek

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

A Characterisation of Weak Bisimulation Congruence.

Rob J. van Glabbeek

Proceedings of the Processes, 2005

2004

Precongruence formats for decorated trace semantics.

Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek

ACM Trans. Comput. Log., 2004

Well-behaved flow event structures for parallel composition and action refinement.

Rob J. van Glabbeek, Ursula Goltz

Theor. Comput. Sci., 2004

The meaning of negative premises in transition system specifications II.

Rob J. van Glabbeek

J. Log. Algebraic Methods Program., 2004

Nested semantics over finite trees are equationally hard.

Luca Aceto, Wan J. Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir

Inf. Comput., 2004

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

Rob J. van Glabbeek

Proceedings of the 11th International Workshop on Expressiveness in Concurrency, 2004

Event Structures for Resolvable Conflict.

Rob J. van Glabbeek, Gordon D. Plotkin

Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

2003

Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract).

Dominic J. D. Hughes, Rob J. van Glabbeek

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Compositionality of Hennessy-Milner Logic through Structural Operational Semantics.

Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind

Proceedings of the Fundamentals of Computation Theory, 14th International Symposium, 2003

Bundle Event Structures and CCSP.

Rob J. van Glabbeek, Frits W. Vaandrager

Proceedings of the CONCUR 2003, 2003

Query Nets: Interacting Workflow Modules That Ensure Global Termination.

Rob J. van Glabbeek, David G. Stork

Proceedings of the Business Process Management, International Conference, 2003

2002

Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow.

David G. Stork, Rob J. van Glabbeek

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

Refinement of actions and equivalence notions for concurrent systems.

Rob J. van Glabbeek, Ursula Goltz

Acta Informatica, 2001

What is Branching Time Semantics and Why to Use it?

Rob J. van Glabbeek

Proceedings of the Current Trends in Theoretical Computer Science, 2001

The Linear Time - Branching Time Spectrum I.

Rob J. van Glabbeek

Proceedings of the Handbook of Process Algebra, 2001

2000

Preface.

Catuscia Palamidessi, Joachim Parrow, Rob J. van Glabbeek

Inf. Comput., 2000

Precongruence Formats for Decorated Trace Preorders.

Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1999

Petri Nets, Configuration Structures and Higher Dimensional Automata.

Rob J. van Glabbeek

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

Scheduling Algebra.

Rob J. van Glabbeek, Peter Rittgen

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Notes on the Methodology of CCS and CSP.

Rob J. van Glabbeek

Theor. Comput. Sci., 1997

The Difference between Splitting in n and n+1.

Rob J. van Glabbeek, Frits W. Vaandrager

Inf. Comput., 1997

Axiomatizing Flat Iteration.

Rob J. van Glabbeek

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Ntyft/Ntyxt Rules Reduce to Ntree Rules.

Wan J. Fokkink, Rob J. van Glabbeek

Inf. Comput., 1996

Axiomatizing Prefix Iteration with Silent Steps.

Luca Aceto, Rob J. van Glabbeek, Wan J. Fokkink, Anna Ingólfsdóttir

Inf. Comput., 1996

1995

Reactive, Generative and Stratified Models of Probabilistic Processes

Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen

Inf. Comput., August, 1995

Configuration Structures

Rob J. van Glabbeek, Gordon D. Plotkin

Proceedings of the Proceedings, 1995

1994

What is Branching time semantics and why to use it?

Rob J. van Glabbeek

Bull. EATCS, 1994

Axiomatising ST-Bisimulation Equivalence.

Nadia Busi, Rob J. van Glabbeek, Roberto Gorrieri

Proceedings of the Programming Concepts, 1994

1993

A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours.

Rob J. van Glabbeek

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

The Linear Time - Branching Time Spectrum II.

Rob J. van Glabbeek

Proceedings of the CONCUR '93, 1993

Full Abstraction in Structural Operational Semantics (Extended Abstract).

Rob J. van Glabbeek

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Interleaving semantics and action refinement with atomic choice.

Ingo Czaja, Rob J. van Glabbeek, Ursula Goltz

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1990

Branching time and abstraction in bisimulation semantics

Rob van Glabbeek, Peter Weijland

Forschungsberichte, TU Munich, 1990

Modular specification of process algebras

Rob van Glabbeek, Frits W. Vaandrager

Forschungsberichte, TU Munich, 1990

A deadlock-sensitive congruence for action refinement

Rob van Glabbeek, Ursula Goltz

Forschungsberichte, TU Munich, 1990

Equivalences and refinement

Rob van Glabbeek, Ursula Goltz

Forschungsberichte, TU Munich, 1990

Reactive, Generative, and Stratified Models of Probabilistic Processes

Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

The Refinement Theorem for ST-bisimulation Semantics.

Rob J. van Glabbeek

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

The Linear Time-Branching Time Spectrum (Extended Abstract).

Rob J. van Glabbeek

Proceedings of the CONCUR '90, 1990

1989

Parial order semantics for refinement of actions - neither necessary nor always sufficient but appropriate when used with care.

Rob J. van Glabbeek, Ursula Goltz

Bull. EATCS, 1989

Refinement of Actions in Causality Based Models.

Rob J. van Glabbeek, Ursula Goltz

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract).

Rob J. van Glabbeek, Ursula Goltz

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract).

Rob J. van Glabbeek, W. P. Weijland

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1987

Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra.

Rob J. van Glabbeek

Proceedings of the STACS 87, 1987

Petri Net Models for Algebraic Theories of Concurrency.

Rob J. van Glabbeek, Frits W. Vaandrager

Proceedings of the PARLE, 1987

Another Look at Abstraction in Process Algebra (Extended Abstract).

Jos C. M. Baeten, Rob J. van Glabbeek

Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

Merge and Termination in Process Algebra.

Jos C. M. Baeten, Rob J. van Glabbeek

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987

Modular Specifications in Process Algebra with Curious Queues.

Rob J. van Glabbeek, Frits W. Vaandrager

Proceedings of the Algebraic Methods: Theory, 1987