scientific article; zbMATH DE number 7649949
From MaRDI portal
Publication:5875403
DOI10.4230/LIPIcs.CONCUR.2019.41MaRDI QIDQ5875403
Fabio Zanasi, Tobias Kappé, Paul Brunet, Jana Wagemaker, Alexandra Silva, Jurriaan Rot
Publication date: 3 February 2023
Full work available at URL: https://arxiv.org/abs/1811.10401
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Developments in concurrent Kleene algebra
- Concurrent Kleene algebra with tests and branching automata
- Partial derivatives of regular expressions and finite automaton constructions
- The equational theory of pomsets
- Complete systems of \(\mathcal B\)-rational identities
- A completeness theorem for Kleene algebras and the algebra of regular events
- Series-parallel languages and the bounded-width property
- Universal coalgebra: A theory of systems
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Concurrent Kleene algebra: free model and completeness
- A Coalgebraic Decision Procedure for NetKAT
- Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests
- Checking NFA equivalence with bisimulations up to congruence
- A fast compiler for NetKAT
- Concurrent Kleene Algebra
- Une remarque sur les systèmes complets d'identités rationnelles
- Laws of programming
- Kleene Algebra with Equations
- Enhanced coalgebraic bisimulation
- NetKAT
- Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages
- Derivatives of Regular Expressions
- On Hoare logic and Kleene algebra with tests
- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
This page was built for publication:
