Models for Quantitative Distributed Systems and Multi-Valued Logics
From MaRDI portal
Publication:3004589
DOI10.1007/978-3-642-21254-3_24zbMath1330.68188OpenAlexW4239889656MaRDI QIDQ3004589
Publication date: 3 June 2011
Published in: Language and Automata Theory and Applications (Search for Journal in Brave)
Full work available at URL: http://ul.qucosa.de/id/qucosa%3A17230
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cellular automata (computational aspects) (68Q80) Many-valued logic (03B50)
Related Items
Weighted automata and weighted MSO logics for average and long-time behaviors ⋮ Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics ⋮ Models for quantitative distributed systems and multi-valued logics
This page was built for publication: Models for Quantitative Distributed Systems and Multi-Valued Logics