Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-TimeProperties

Authors:
A. U Shankar;Simon S. Lam
Affiliations:
-;-
Venue:
Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-TimeProperties
Year:
1985

Citing 0
Cited 2

A verified sliding window protocol with variable flow control

SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
A verified connection management protocol for the transport layer

SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology

Quantified Score

Hi-index	0.00

Visualization

Abstract