Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic - Benedikt Bollig - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642069475 - 14 de octubre de 2010
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 14 de octubre de 2010
ISBN13 9783642069475
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 181
Dimensiones 156 × 234 × 10 mm   ·   276 g
Lengua Inglés  

Mere med samme udgiver

Más de esta serie

Ver todo de Benedikt Bollig ( Ej. Hardcover Book y Paperback Book )