759:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Inbunden 759:-
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.
- Format: Pocket/Paperback
- ISBN: 9783642069475
- Språk: Engelska
- Antal sidor: 181
- Utgivningsdatum: 2010-10-14
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K