Abstract
With the temporal logic introduced in Chapter 3, the system designer can specify the architecture and the behaviour of open distributed systems. In Chapter 4, this logic has been applied to capture the meaning of interaction points. In Chapter 5, a communication service and a service provider have been specified, and the relationship between the views of the service users and the service provider have been formally established. To allow for an even more natural and adequate treatment of open distributed systems, the expressiveness of the logic from Chapter 3 will now be extended by epistemic concepts.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1993 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden
About this chapter
Cite this chapter
Gotzhein, R. (1993). An epistemic logic for open distributed systems. In: Open Distributed Systems. Vieweg Advanced Studies in Computer Science. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-86009-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-322-86009-5_7
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-528-05358-1
Online ISBN: 978-3-322-86009-5
eBook Packages: Springer Book Archive