Weighted Distributed Systems and Their Logics
From MaRDI portal
Publication:5434498
DOI10.1007/978-3-540-72734-7_5zbMath1133.68052OpenAlexW1811576089MaRDI QIDQ5434498
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
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cellular automata (computational aspects) (68Q80)
Related Items
Weighted automata and weighted logics with discounting, Definable transductions and weighted logics for texts, Weighted Automata and Weighted Logics, MSO logics for weighted timed automata, Weighted Automata and Logics on Infinite Graphs, Weighted automata and multi-valued logics over arbitrary bounded lattices, Models for quantitative distributed systems and multi-valued logics
