Open Distributed Systems: On Concepts, Methods and Design from a Logical Point of View
Reinhard Gotzhein · Medical Entomology and Zoology · 1993
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.