Rob J. van Glabbeek

According to our database1, Rob J. van Glabbeek authored at least 150 papers between 1987 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
On the validity of encodings of the synchronous in the asynchronous π-calculus.
Inf. Process. Lett., 2018

A Theory of Encodings and Expressiveness.
CoRR, 2018

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

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence.
CoRR, 2018

Analysing AWN-Specifications Using mCRL2 (Extended Abstract).
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

A Theory of Encodings and Expressiveness (Extended Abstract) - (Extended Abstract).
Proceedings of the Foundations of Software Science and Computation Structures, 2018

Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk).
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.
Inf. Comput., 2017

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

Analysing Mutual Exclusion using Process Algebra with Signals.
Proceedings of the Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics and 14th Workshop on Structural Operational Semantics, 2017

Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack.
Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

Lean and Full Congruence Formats for Recursion.
CoRR, 2017

A Branching Time Model of CSP.
CoRR, 2017

An Algebraic Treatment of Recursion.
CoRR, 2017

Lean and full congruence formats for recursion.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Precongruence Formats with Lookahead through Modal Decomposition.
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

Divide and Congruence III: Stability & Divergence.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

A Branching Time Model of CSP.
Proceedings of the Concurrency, Security, and Puzzles, 2017

2016
Mechanizing a Process Algebra for Network Protocols.
J. Autom. Reasoning, 2016

Modelling and verifying the AODV routing protocol.
Distributed Computing, 2016

MALL proof nets identify proofs modulo rule commutation.
CoRR, 2016

Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity.
CoRR, 2016

A Timed Process Algebra for Wireless Networks.
CoRR, 2016

Divide and Congruence II: Delay and Weak Bisimilarity.
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).
Proceedings of the Programming Languages and Systems, 2016

2015
Analysing and Comparing Encodability Criteria.
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, 2015

A Rigorous Analysis of AODV and its Variants.
CoRR, 2015

Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops.
CoRR, 2015

Modelling and Verifying the AODV Routing Protocol.
CoRR, 2015

CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions.
CoRR, 2015

Progress, Fairness and Justness in Process Algebra.
CoRR, 2015

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

Automated Analysis of AODV using UPPAAL.
CoRR, 2015

A Process Algebra for Wireless Mesh Networks.
CoRR, 2015

Modelling and Analysis of AODV in UPPAAL.
CoRR, 2015

On the Axiomatizability of Impossible Futures.
Logical Methods in Computer Science, 2015

Mechanizing a Process Algebra for Network Protocols.
CoRR, 2015

A mechanized proof of loop freedom of the (untimed) AODV routing protocol.
CoRR, 2015

Analysing and Comparing Encodability Criteria for Process Calculi.
Archive of Formal Proofs, 2015

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

Special issue on "Combining Compositionality and Concurrency": part 2.
Acta Inf., 2015

Special issue on "Combining Compositionality and Concurrency": part 1.
Acta Inf., 2015

Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP.
Proceedings of the Correct System Design, 2015

2014
Real-reward testing for probabilistic processes.
Theor. Comput. Sci., 2014

Showing invariance compositionally for a process algebra for network protocols.
CoRR, 2014

Showing Invariance Compositionally for a Process Algebra for Network Protocols.
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
On Characterising Distributability.
Logical Methods in Computer Science, 2013

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

Sequence numbers do not guarantee loop freedom: AODV can yield routing loops.
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.
Inf. Comput., 2012

Musings on Encodings and Expressiveness
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
CoRR, 2012

Automated Analysis of AODV Using UPPAAL.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

A rigorous analysis of AODV and its variants.
Proceedings of the 15th ACM International Conference on Modeling, 2012

On Distributability of Petri Nets - (Extended Abstract).
Proceedings of the Foundations of Software Science and Computational Structures, 2012

A Process Algebra for Wireless Mesh Networks.
Proceedings of the Programming Languages and Systems, 2012

2011
Bisimulation.
Proceedings of the Encyclopedia of Parallel Computing, 2011

On cool congruence formats for weak bisimulations.
Theor. Comput. Sci., 2011

Abstract processes of place/transition systems.
Inf. Process. Lett., 2011

Real-Reward Testing for Probabilistic Processes (Extended Abstract)
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Abstract Processes of Place/Transition Systems
CoRR, 2011

On Causal Semantics of Petri Nets.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010
The Coarsest Precongruences Respecting Safety and Liveness Properties
CoRR, 2010

On CSP and the Algebraic Theory of Effects
CoRR, 2010

Characterising Probabilistic Processes Logically
CoRR, 2010

Characterising Probabilistic Processes Logically - (Extended Abstract).
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

The Coarsest Precongruences Respecting Safety and Liveness Properties.
Proceedings of the Theoretical Computer Science, 2010

On CSP and the Algebraic Theory of Effects.
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009
Configuration structures, event structures and Petri nets.
Theor. Comput. Sci., 2009

Special issue on structural operational semantics.
Inf. Comput., 2009

Branching Bisimilarity with Explicit Divergence.
Fundam. Inform., 2009

Symmetric and Asymmetric Asynchronous Interaction.
Electr. Notes Theor. Comput. Sci., 2009

Configuration Structures, Event Structures and Petri Nets
CoRR, 2009

Computation Tree Logic with Deadlock Detection
Logical Methods in Computer Science, 2009

On Synchronous and Asynchronous Interaction in Distributed Systems
CoRR, 2009

Symmetric and Asymmetric Asynchronous Interaction
CoRR, 2009

On Finite Bases for Weak Semantics: Failures Versus Impossible Futures.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Testing Finitary Probabilistic Processes.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008
Characterising Testing Preorders for Finite Probabilistic Processes.
Logical Methods in Computer Science, 2008

Ready to preorder: The case of weak process semantics.
Inf. Process. Lett., 2008

Branching Bisimilarity with Explicit Divergence
CoRR, 2008

On Finite Bases for Weak Semantics: Failures versus Impossible Futures
CoRR, 2008

Characterising Testing Preorders for Finite Probabilistic Processes
CoRR, 2008

Five Determinisation Algorithms.
Proceedings of the Implementation and Applications of Automata, 2008

On Synchronous and Asynchronous Interaction in Distributed Systems.
Proceedings of the Mathematical Foundations of Computer Science 2008, 2008

Correcting a Space-Efficient Simulation Algorithm.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Preface.
Electr. Notes Theor. Comput. Sci., 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Remarks on Testing Probabilistic Processes.
Electr. Notes Theor. Comput. Sci., 2007

Characterising Testing Preorders for Finite Probabilistic Processes.
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Scalar Outcomes Suffice for Finitary Probabilistic Testing.
Proceedings of the Programming Languages and Systems, 2007

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

On the expressiveness of higher dimensional automata.
Theor. Comput. Sci., 2006

Compositionality of Hennessy-Milner logic by structural operational semantics.
Theor. Comput. Sci., 2006

On Specifying Timeouts.
Electr. Notes Theor. Comput. Sci., 2006

Divide and Congruence Applied to eta-Bisimulation.
Electr. Notes Theor. Comput. Sci., 2006

Liveness, Fairness and Impossible Futures.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005
Proof nets for unit-free multiplicative-additive linear logic.
ACM Trans. Comput. Log., 2005

On the Expressiveness of Higher Dimensional Automata: (Extended Abstract).
Electr. Notes Theor. Comput. Sci., 2005

On Cool Congruence Formats for Weak Bisimulations.
Proceedings of the Theoretical Aspects of Computing, 2005

Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

The Individual and Collective Token Interpretations of Petri Nets.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

A Characterisation of Weak Bisimulation Congruence.
Proceedings of the Processes, 2005

2004
Precongruence formats for decorated trace semantics.
ACM Trans. Comput. Log., 2004

Well-behaved flow event structures for parallel composition and action refinement.
Theor. Comput. Sci., 2004

The meaning of negative premises in transition system specifications II.
J. Log. Algebr. Program., 2004

Nested semantics over finite trees are equationally hard.
Inf. Comput., 2004

Event Structures for Resolvable Conflict.
Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

2003
Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract).
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Compositionality of Hennessy-Milner Logic through Structural Operational Semantics.
Proceedings of the Fundamentals of Computation Theory, 14th International Symposium, 2003

Bundle Event Structures and CCSP.
Proceedings of the CONCUR 2003, 2003

Query Nets: Interacting Workflow Modules That Ensure Global Termination.
Proceedings of the Business Process Management, International Conference, 2003

2002
Precongruence Formats for Decorated Trace Semantics
CoRR, 2002

Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001
Refinement of actions and equivalence notions for concurrent systems.
Acta Inf., 2001

What is Branching Time Semantics and Why to Use it?
Current Trends in Theoretical Computer Science, 2001

2000
Preface.
Inf. Comput., 2000

Precongruence Formats for Decorated Trace Preorders.
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1999
Petri Nets, Configuration Structures and Higher Dimensional Automata.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998
Axiomatizing Flat Iteration
CoRR, 1998

Scheduling Algebra.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
Notes on the Methodology of CCS and CSP.
Theor. Comput. Sci., 1997

The Difference between Splitting in n and n+1.
Inf. Comput., 1997

Axiomatizing Flat Iteration.
Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996
Branching Time and Abstraction in Bisimulation Semantics.
J. ACM, 1996

Ntyft/Ntyxt Rules Reduce to Ntree Rules.
Inf. Comput., 1996

Axiomatizing Prefix Iteration with Silent Steps.
Inf. Comput., 1996

The Meaning of Negative Premises in Transition System Specifications II.
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

1995
Reactive, Generative and Stratified Models of Probabilistic Processes
Inf. Comput., August, 1995

Configuration Structures
Proceedings of the Proceedings, 1995

1994
What is Branching time semantics and why to use it?
Bulletin of the EATCS, 1994

Axiomatising ST-Bisimulation Equivalence.
Proceedings of the Programming Concepts, 1994

1993
Modular Specification of Process Algebras.
Theor. Comput. Sci., 1993

A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

The Linear Time - Branching Time Spectrum II.
Proceedings of the CONCUR '93, 1993

Full Abstraction in Structural Operational Semantics (Extended Abstract).
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992
Interleaving semantics and action refinement with atomic choice.
Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1990
Equivalences and Refinement.
Proceedings of the Semantics of Systems of Concurrent Processes, 1990

Reactive, Generative, and Stratified Models of Probabilistic Processes
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

The Linear Time-Branching Time Spectrum (Extended Abstract).
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.
Bulletin of the EATCS, 1989

Refinement of Actions in Causality Based Models.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract).
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract).
IFIP Congress, 1989

1987
Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra.
Proceedings of the STACS 87, 1987

Petri Net Models for Algebraic Theories of Concurrency.
Proceedings of the PARLE, 1987

Another Look at Abstraction in Process Algebra (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

Merge and Termination in Process Algebra.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987

Modular Specifications in Process Algebra with Curious Queues.
Proceedings of the Algebraic Methods: Theory, 1987


  Loading...