| Document Type
|
:
|
BL
|
| Record Number
|
:
|
744065
|
| Doc. No
|
:
|
b564014
|
| Main Entry
|
:
|
Reinhard Gotzhein.
|
| Title & Author
|
:
|
Open distributed systems : : on concepts, methods, and design from a logical point of view\ Reinhard Gotzhein.
|
| Publication Statement
|
:
|
Wiesbaden : Vieweg, ©1993.
|
| Series Statement
|
:
|
Vieweg advanced studies in computer science.
|
| Page. NO
|
:
|
xvii, 227 pages : illustrations ; 21 cm.
|
| ISBN
|
:
|
3528053585
|
|
|
:
|
: 9783528053581
|
| Contents
|
:
|
Open distributed systems; formal methods; concepts; requirement specification; system architecture and system behaviour; correctness and conformance; temporal logic; interaction points; communication services; epistemic logic; application examples.
|
| Abstract
|
:
|
This book presents a new, abstract, and comprehensive view of open distributed systems. Starting point is a small number of core concepts and basic principles, which are informally introduced and precisely defined using mathematical logic. It is shown how the basic concepts of Open Systems Interconnection (OSI) and Open Distributed Processing (ODP), which are currently the most important standardization activities in the context of open distributed systems, can be obtained by specialization and extension of these basic concepts.
|
| Subject
|
:
|
Electronic data processing -- Distributed processing.
|
| Subject
|
:
|
OSI (Computer network standard)
|
| Subject
|
:
|
OSI (Computer network standard).
|
| LC Classification
|
:
|
QA76.9.D5R456 1993
|
| Added Entry
|
:
|
Reinhard Gotzhein
|