research
∙
09/13/2023
Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract)
A classical theorem states that the set of languages given by a pushdown...
share
research
∙
07/11/2023
Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers
We present process-algebraic models of multi-writer multi-reader safe, r...
research
∙
06/28/2022
On the Axiomatisation of Branching Bisimulation Congruence over CCS
In this paper we investigate the equational theory of (the restriction, ...
research
∙
03/17/2022
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems
This volume contains the proceedings of MARS 2022, the fifth workshop on...
research
∙
03/03/2022
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
The Turing machine models an old-fashioned computer, that does not inter...
research
∙
05/03/2021
In search of lost time: Axiomatising parallel composition in process algebras
This survey reviews some of the most recent achievements in the saga of ...
research
∙
02/22/2021
On the Axiomatisability of Parallel Composition
This paper studies the existence of finite equational axiomatisations of...
research
∙
10/05/2020
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?
Bergstra and Klop have shown that bisimilarity has a finite equational a...
research
∙
08/31/2020
A process algebra with global variables
In standard process algebra, parallel components do not share a common s...
research
∙
08/31/2020
Divergence-Preserving Branching Bisimilarity
This note considers the notion of divergence-preserving branching bisimi...
research
∙
01/24/2020
Up-to Techniques for Branching Bisimilarity
Ever since the introduction of behavioral equivalences on processes one ...
research
∙
08/19/2019
Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence
In two earlier papers we derived congruence formats with regard to trans...
research
∙
01/03/2018