Formal models of communicating systems: languages, automata, and monadic second-order logic
Auteur :
Bollig, Benedikt
Éditeur :
Bollig, Benedikt
ISBN :
9783540329220
Date de publication :
24 juil. 2006
Dimensions :
23,5 x 15,5 x 1,5 cm
Poids :
408 g
Langue :
Anglais
Pays d'origine :
Allemagne
Studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. This book provides a unifying theory of communicating automata and their logical properties.