Ebook: Open Distributed Systems: On Concepts, Methods, and Design from a Logical Point of View

---

Content:
Front Matter....Pages i-vii
Introduction....Pages 1-7
Formal methods in the system design process....Pages 9-16
Requirement specification of open distributed systems....Pages 17-30
The design of a temporal logic for open distributed systems....Pages 31-76
The interaction point concept....Pages 77-114
Communication services....Pages 115-142
An epistemic logic for open distributed systems....Pages 143-171
Applying temporal epistemic logics to open distributed systems....Pages 173-195
Conclusion....Pages 197-199
Back Matter....Pages 201-229

---

Content:
Front Matter....Pages i-vii
Introduction....Pages 1-7
Formal methods in the system design process....Pages 9-16
Requirement specification of open distributed systems....Pages 17-30
The design of a temporal logic for open distributed systems....Pages 31-76
The interaction point concept....Pages 77-114
Communication services....Pages 115-142
An epistemic logic for open distributed systems....Pages 143-171
Applying temporal epistemic logics to open distributed systems....Pages 173-195
Conclusion....Pages 197-199
Back Matter....Pages 201-229
....