Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic

Front Cover
Springer Science & Business Media, Sep 8, 2006 - Computers - 181 pages

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.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
II
3
III
5
IV
6
V
7
VI
11
VII
12
VIII
14
XXXIV
90
XXXV
91
XXXVI
95
XXXVII
96
XXXVIII
103
XXXIX
105
XL
107
XLII
109

IX
15
X
16
XI
18
XII
23
XIII
27
XIV
30
XV
31
XVI
34
XVII
35
XVIII
36
XIX
40
XX
41
XXI
43
XXII
50
XXIII
52
XXIV
56
XXV
60
XXVI
74
XXVII
75
XXVIII
76
XXIX
78
XXX
80
XXXI
84
XXXII
87
XXXIII
89
XLIII
110
XLIV
114
XLV
117
XLVI
122
XLVII
124
XLVIII
128
XLIX
130
L
131
LI
132
LII
133
LIII
138
LIV
144
LV
145
LVI
149
LVII
151
LVIII
153
LIX
158
LX
159
LXI
160
LXII
163
LXIII
164
LXIV
165
LXV
172
LXVI
178
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information