Time-dependent distributed systems: proving safety, liveness and real-time properties
- 1 June 1987
- journal article
- Published by Springer Nature in Distributed Computing
- Vol. 2 (2) , 61-79
- https://doi.org/10.1007/bf01667079
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- An example of stepwise refinement of distributed programs: quiescence detectionACM Transactions on Programming Languages and Systems, 1986
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- Editorial NotesIEEE Transactions on Communications, 1983
- An assertional correctness proof of a distributed algorithmScience of Computer Programming, 1982
- Proofs of Networks of ProcessesIEEE Transactions on Software Engineering, 1981
- Verification of link-level protocolsBIT Numerical Mathematics, 1981
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- A proof method for cyclic programsActa Informatica, 1978
- Verifying properties of parallel programsCommunications of the ACM, 1976
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969