Formal Models of Communicating Syst - E-book

eBook

Formal Models Of Communicating Systems - ENG

Languages, Automata, And Monadic Second-order Logic

Benedikt Bollig

eBook

$1,100.00

Disponible

Información adicional
Sinopsis

ISBN:	9783540329237
Formato:	Page Fidelity
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Ciencia de computación
Año de publicación:	2006-09-08

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 Hanfs Theorem and Thomass 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.

eBooks