Models for quantitative distributed systems and multi-valued logics

DOI10.1080/00207160.2012.702211zbMATH Open1286.68284OpenAlexW2088212214MaRDI QIDQ2855751FDOQ2855751

Martin Huschenbett

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

zbMATH Keywords

distributed systemsweighted automatatracesasynchronous automatamulti-valued logics

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Title not available (Why is that?)
• Handbook of weighted automata
• On the definition of a family of automata
• THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
• Weak Second‐Order Arithmetic and Finite Automata
• Notes on finite asynchronous automata
• Logical definability on infinite traces
• Weighted versus Probabilistic Logics
• Quantitative Languages
• Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices
• Weighted Logics for Traces
• Weighted Distributed Systems and Their Logics
• The Kleene-Schützenberger theorem for formal power series in partially commuting variables.
• Weighted asynchronous cellular automata
• Models for Quantitative Distributed Systems and Multi-Valued Logics
• Describing Average- and Longtime-Behavior by Weighted MSO Logics
• Regular Expressions on Average and in the Long Run

Cited In (2)

• Quantified Differential Dynamic Logic for Distributed Hybrid Systems
• Weak models of distributed computing, with connections to modal logic

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)