Preview
Unable to display preview. Download preview PDF.
References
K.R. Apt, N. Francez, W.P. deRoever: A proof system for communicating sequential processes. ACM-TOPLAS, 2,3 (July 1980), pp. 359–385.
E.W. Dijkstra: An elephant inspired by the Dutch national flag. EWD — 608, Nuenen, (1977).
E.W. Dijkstra: A special sorting elephant. EWD — 642, Nuenen.
E.W. Dijkstra, C.S. Scholten: Termination detection for diffusing computation. Information Processing letters 11, 1 (August 1980), pp. 1–4.
N. Francez: Distributed Termination. ACM-TOPLAS 2, 1 (January 1980), pp. 42–55.
N. Francez, M. Rodeh: Achieving Distributed Termination without Freezing. TR-72, IBM Israel Scientific Center (1979). To appear in IEEE-TSE.
C.A.R. Hoare: Communicating Sequential Processes. CACM 21, 8, (August 1978), pp. 666–677.
P. Merlin, A. Segall: A failsafe distributed routing protocol. IEEE Trans. Comm. 27 (September 1979), pp. 1230–1237.
M. Sintzoff: Three problems in the design of distributed programs. Working Note presented at IFIP W.G. 2.3, April 1978.
M. Sintzoff: On language design for program construction. Algol Bulletin 42 (1978), pp. 74–84.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Francez, N., Rodeh, M., Sintzoff, M. (1981). Distributed termination with interval assertions. In: Díaz, J., Ramos, I. (eds) Formalization of Programming Concepts. ICFPC 1981. Lecture Notes in Computer Science, vol 107. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10699-5_105
Download citation
DOI: https://doi.org/10.1007/3-540-10699-5_105
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10699-9
Online ISBN: 978-3-540-38654-4
eBook Packages: Springer Book Archive