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
CA$ 76.49
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 6 - 18
Christmas presents can be returned until 31 January
Get notified about new Benedikt Bollig releases

Our customers say:

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

Not rated yet

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  

More from this series

More from the same publisher

See all of Benedikt Bollig