Models for quantitative distributed systems and multi-valued logics
From MaRDI portal
Publication:2855751
Recommendations
Cites work
- scientific article; zbMATH DE number 1333602 (Why is no real title available?)
- Describing average- and longtime-behavior by weighted MSO logics
- Handbook of weighted automata
- Kleene and Büchi theorems for weighted automata and multi-valued logics over arbitrary bounded lattices
- Logical definability on infinite traces
- Models for quantitative distributed systems and multi-valued logics
- Notes on finite asynchronous automata
- On the definition of a family of automata
- Quantitative Languages
- Regular Expressions on Average and in the Long Run
- THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
- The Kleene-Schützenberger theorem for formal power series in partially commuting variables.
- Weak Second‐Order Arithmetic and Finite Automata
- Weighted Distributed Systems and Their Logics
- Weighted Logics for Traces
- Weighted asynchronous cellular automata
- Weighted versus Probabilistic Logics
Cited in
(6)- Weak models of distributed computing, with connections to modal logic
- Quantified Differential Dynamic Logic for Distributed Hybrid Systems
- Weighted asynchronous cellular automata
- Weighted Distributed Systems and Their Logics
- Weighted Asynchronous Cellular Automata
- Models for quantitative distributed systems and multi-valued logics
This page was built for publication: Models for quantitative distributed systems and multi-valued logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2855751)
