Weighted Distributed Systems and Their Logics

DOI10.1007/978-3-540-72734-7_5MaRDI QIDQ5434498zbMATH OpenOpenAlexFDO

Authors Benedikt Bollig, Ingmar Meinecke

Publication date 4 January 2008

Published in Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72734-7_5

Mathematics Subject Classification ID

Logic in computer science (03B70) Cellular automata (computational aspects) (68Q80) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Models for quantitative distributed systems and multi-valued logics
• Weighted Asynchronous Cellular Automata
• Models for quantitative distributed systems and multi-valued logics
• Weighted asynchronous cellular automata
• Concurrent weighted logic

Cited in

(12)

• Weighted asynchronous cellular automata
• Weighted automata and logics on infinite graphs
• Models for quantitative distributed systems and multi-valued logics
• Models for quantitative distributed systems and multi-valued logics
• Weighted automata and weighted logics
• Weighted Asynchronous Cellular Automata
• MSO logics for weighted timed automata
• Weighted tiling systems for graphs: evaluation complexity
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Weighted automata and weighted logics with discounting
• Definable transductions and weighted logics for texts
• Concurrent weighted logic

This page was built for publication: Weighted Distributed Systems and Their Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5434498)