Models for quantitative distributed systems and multi-valued logics
From MaRDI portal
Publication:2855751
DOI10.1080/00207160.2012.702211zbMath1286.68284OpenAlexW2088212214MaRDI QIDQ2855751
Publication date: 22 October 2013
Published in: International Journal of Computer Mathematics (Search for Journal in Brave)
Full work available at URL: http://ul.qucosa.de/id/qucosa%3A17230
Cites Work
- Unnamed Item
- Logical definability on infinite traces
- Handbook of weighted automata
- Weighted asynchronous cellular automata
- The Kleene-Schützenberger theorem for formal power series in partially commuting variables.
- Models for Quantitative Distributed Systems and Multi-Valued Logics
- Regular Expressions on Average and in the Long Run
- Weak Second‐Order Arithmetic and Finite Automata
- On the definition of a family of automata
- Weighted Logics for Traces
- Quantitative Languages
- Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices
- Describing Average- and Longtime-Behavior by Weighted MSO Logics
- Weighted versus Probabilistic Logics
- Notes on finite asynchronous automata
- THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
- Weighted Distributed Systems and Their Logics
This page was built for publication: Models for quantitative distributed systems and multi-valued logics
