Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic - Benedikt Bollig - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642069475 - October 14, 2010
In case cover and title do not match, the title is correct

Benedikt Bollig
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic 1st Ed. Softcover of Orig. Ed. 2006 edition

Price
$ 54.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 9 - 15

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

181 pages, 6 black & white tables, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 14, 2010
ISBN13 9783642069475
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 181
Dimensions 156 × 234 × 10 mm   ·   276 g
Language English  

Mere med samme udgiver

More from this series

See all of Benedikt Bollig ( e.g. Hardcover Book and Paperback Book )