scientific article; zbMATH DE number 7407791
From MaRDI portal
Publication:5155681
Fabio Zanasi, Paul Brunet, Alexandra Silva, Bas Luttik, Tobias Kappé
Publication date: 8 October 2021
Full work available at URL: https://arxiv.org/abs/1807.02102
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Cites Work
- Concurrent Kleene algebra with tests and branching automata
- Partial derivatives of regular expressions and finite automaton constructions
- The equational theory of pomsets
- Complements and transitive closures
- An algebraic characterization of the behaviour of non-sequential systems
- A completeness theorem for Kleene algebras and the algebra of regular events
- Series-parallel languages and the bounded-width property
- Concurrent Kleene algebra: free model and completeness
- Theory of átomata
- Expressiveness modulo bisimilarity of regular expressions with parallel composition
- Concurrent Kleene Algebra
- Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages
- Programming Techniques: Regular expression search algorithm
- Derivatives of Regular Expressions
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
