Reactive Systems: Modelling, Specification and Verification - Cs.ioc.ee

More documents

Recommendations

Info

$Algorithmic melody composition based on fractal ... - cs.ioc.ee$

Part I A classic theory of reactive systems 1
Page 1: Reactive Systems: Modelling, Specif
Page 4 and 5: iv CONTENTS 5 Hennessy-Milner logic
Page 7 and 8: List of Figures 2.1 The interface f
Page 9: List of Tables 2.1 An alternative f
Page 12 and 13: xii PREFACE It has been very satisf
Page 14 and 15: xiv PREFACE a textbook, and offers
Page 16 and 17: xvi PREFACE studies in Edinburgh, a
Page 21 and 22: Chapter 1 Introduction The aim of t
Page 23 and 24: 1.1. WHAT ARE REACTIVE SYSTEMS? 5 i
Page 25 and 26: 1.2. PROCESS ALGEBRAS 7 systems and
Page 27 and 28: Chapter 2 The language CCS We shall
Page 29 and 30: 2.1. SOME CCS PROCESS CONSTRUCTIONS
Page 39 and 40: 2.2. CCS, FORMALLY 21 (the correspo
Page 41 and 42: 2.2. CCS, FORMALLY 23 A labelled tr
Page 43 and 44: 2.2. CCS, FORMALLY 25 Exercise 2.5
Page 45 and 46: 2.2. CCS, FORMALLY 27 order: restri
Page 47 and 48: 2.2. CCS, FORMALLY 29 SUMj RES ACT
Page 49 and 50: 2.2. CCS, FORMALLY 31 Exercise 2.8
Page 51 and 52: 2.2. CCS, FORMALLY 33 • If B is e
Page 53: 2.2. CCS, FORMALLY 35 Exercise 2.13
Page 56 and 57: 38 CHAPTER 3. BEHAVIOURAL EQUIVALEN
Page 68 and 69:
50 CHAPTER 3. BEHAVIOURAL EQUIVALEN
Page 70 and 71:
Page 72 and 73:
Page 74 and 75:
Page 76 and 77:
Page 78 and 79:
Page 80 and 81:
Page 82 and 83:
Page 84 and 85:
Page 86 and 87:
Page 88 and 89:
Page 90 and 91:
Page 92 and 93:
74 CHAPTER 3.5. GAME CHARACTERIZATI
Page 94 and 95:
Page 96 and 97:
Page 98 and 99:
Page 100 and 101:
Page 103 and 104:
Chapter 4 Theory of fixed points an
Page 105 and 106:
4.1. POSETS AND COMPLETE LATTICES 8
Page 107 and 108:
4.2. TARSKI’S FIXED POINT THEOREM
Page 109 and 110:
Page 111 and 112:
Page 113 and 114:
Page 115 and 116:
4.3. BISIMULATION AS A FIXED POINT
Page 117:
4.3. BISIMULATION AS A FIXED POINT
Page 120 and 121:
102 CHAPTER 5. HENNESSY-MILNER LOGI
Page 122 and 123:
Page 124 and 125:
Page 126 and 127:
Page 128 and 129:
Page 130 and 131:
Page 132 and 133:
Page 134 and 135:
116 CHAPTER 6. HML WITH RECURSION p
Page 136 and 137:
118 CHAPTER 6. HML WITH RECURSION i
Page 138 and 139:
120 CHAPTER 6. HML WITH RECURSION
Page 140 and 141:
122 CHAPTER 6. HML WITH RECURSION F
Page 142 and 143:
124 CHAPTER 6. HML WITH RECURSION T
Page 144 and 145:
126 CHAPTER 6. HML WITH RECURSION t
Page 146 and 147:
128 CHAPTER 6. HML WITH RECURSION I
Page 148 and 149:
130 CHAPTER 6. HML WITH RECURSION N
Page 150 and 151:
132 CHAPTER 6. HML WITH RECURSION H
Page 152 and 153:
134 CHAPTER 6. HML WITH RECURSION T
Page 154 and 155:
136 CHAPTER 6. HML WITH RECURSION w
Page 156 and 157:
138 CHAPTER 6. HML WITH RECURSION
Page 158 and 159:
140 CHAPTER 6. HML WITH RECURSION E
Page 160 and 161:
Page 162 and 163:
144 CHAPTER 6. HML WITH RECURSION F
Page 164 and 165:
146 CHAPTER 6. HML WITH RECURSION 1
Page 166 and 167:
148 CHAPTER 6. HML WITH RECURSION P
Page 168 and 169:
150 CHAPTER 6. HML WITH RECURSION t
Page 170 and 171:
152 CHAPTER 6. HML WITH RECURSION I
Page 172 and 173:
Page 174 and 175:
156 CHAPTER 6. HML WITH RECURSION o
Page 176 and 177:
158 CHAPTER 7. MODELLING MUTUAL EXC
Page 178 and 179:
Page 180 and 181:
Page 182 and 183:
Page 184 and 185:
Page 186 and 187:
Page 188 and 189:
Page 190 and 191:
Page 192:
show all

Reactive Systems: Modelling, Specification and Verification - Cs.ioc.ee

Create successful ePaper yourself

Delete template?

Save as template?