✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 418.243 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Formal Models of Communicating Systems

Formal Models of Communicating Systems

von Benedikt Bollig
Hardcover - 9783540329220
53,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 7 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Weitere Formate

Softcover - 9783642069475
53,49 €

Autorenfreundlich Bücher kaufen?!

Weitere Formate

Softcover - 9783642069475
53,49 €

Beschreibung

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows characterization of many popular models of distributed computation in terms of the existential fragment of monadic second-order logic.

Languages, Automata, and Monadic Second-Order Logic

Languages, Automata, and Monadic Second-Order Logic

Details

Verlag Springer Berlin
Ersterscheinung 24. Juli 2006
Maße 23.5 cm x 15.5 cm
Gewicht 459 Gramm
Format Hardcover
ISBN-13 9783540329220
Seiten 181

Schlagwörter

Algorithmen und Datenstrukturen, Algorithms, Computer Communication Networks, Formal Languages and Automata Theory, Netzwerk-Hardware, Software Engineering, Theoretische Informatik, Theory of Computation

Herstellerinformationen +