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