search result

Cover von A Diagrammatic Axiomatisation of Fermionic Quantum Circuits

A Diagrammatic Axiomatisation of Fermionic Quantum Circuits

Year: 2018
Media group: LIPIcs
Cover von A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes

Year: 2026
Media group: LIPIcs
Cover von A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions

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 A Complete Axiomatisation of a Fragment of Language Algebra

A Complete Axiomatisation of a Fragment of Language Algebra

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

Sequencing and Intermediate Acceptance

Axiomatisation and Decidability of Bisimilarity
Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0