search result

Cover von From Bisimulation to Traces

From Bisimulation to Traces

The Impact of Parallel Composition on Finite Bases
Year: 2025
Media group: LIPIcs
Cover von Just Verification of Mutual Exclusion Algorithms

Just Verification of Mutual Exclusion Algorithms

Year: 2025
Media group: LIPIcs
Cover von Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics
Buenos Aires, Argentina, 26th August, 2013
Search for this author
Year: 2013
Media group: OPENACCESS
Cover von Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers

Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers

Year: 2023
Media group: LIPIcs
Cover von Pushdown Automata and Context-Free Grammars in Bisimulation Semantics

Pushdown Automata and Context-Free Grammars in Bisimulation Semantics

Year: 2021
Media group: LIPIcs
Cover von Sequencing and Intermediate Acceptance

Sequencing and Intermediate Acceptance

Axiomatisation and Decidability of Bisimilarity
Year: 2019
Media group: LIPIcs
Cover von Evidence for Fixpoint Logic

Evidence for Fixpoint Logic

Year: 2015
Media group: LIPIcs
Cover von Progress, Justness and Fairness in Modal μ-Calculus Formulae

Progress, Justness and Fairness in Modal μ-Calculus Formulae

Year: 2024
Media group: LIPIcs
Cover von On the Axiomatisation of Branching Bisimulation Congruence over CCS

On the Axiomatisation of Branching Bisimulation Congruence over CCS

Year: 2022
Media group: LIPIcs
Cover von Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?

Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0