A connection between concurrency and language theory
From MaRDI portal
Publication:265802
DOI10.1016/j.entcs.2013.09.011zbMath1334.68116arXiv1303.0044OpenAlexW2161360624WikidataQ113317964 ScholiaQ113317964MaRDI QIDQ265802
Publication date: 12 April 2016
Full work available at URL: https://arxiv.org/abs/1303.0044
iteration theoriesregular tree languagessynchronization treescontext-free languagesfixed-point operationssimulation equivalence
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Equational properties of fixed-point operations in cartesian categories: An overview
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Free inductive \(K\)-semialgebras
- Free iterative and iteration \(K\)-semialgebras
- Handbook of weighted automata
- Axiomatizing the equational theory of regular tree languages
- Equational properties of iteration in algebraically complete categories
- Deciding bisimilarity is P-complete
- Iteration theories of synchronization trees
- Varieties of ordered algebras
- IO and OI. II
- Group axioms for iteration
- Synchronization trees
- The equational logic of fixed points
- Completeness of Park induction
- Equational logic of circular data type specification
- Matrix and matricial iteration theories. I
- Axiomatizing rational power series over natural numbers
- Axiomatizing weighted synchronization trees and weighted bisimilarity
- Equational Axioms for Probabilistic Bisimilarity
- Residuated Park theories
- Iteration Grove Theories with Applications
- Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
- Initial Algebra Semantics and Continuous Algebras
- Equational axioms for regular sets
- Continuous Additive Algebras and Injective Simulations of Synchronization Trees
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
This page was built for publication: A connection between concurrency and language theory
