previous up next
Go backward to 5 Progress of the Algorithm
Go up to Top
Go forward to Footnotes
RISC-Linz logo


Kenneth P. Birman. Building Secure and Reliable Network Applications. Manning, Greenwich, Conneticut, 1996.
Edsger W. Dijkstra. Shmuel Safra's Version of Termination Detection (Note EWD998). In Proofs and Calculations, Working Material for the International Summer School on Calculational System Design, Marktoberdorf, Germany, July 28-August 9, 1998. Advanced Study Institute.
Leslie Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.

Maintainer: Wolfgang Schreiner
Last Modification: August 20, 1998

previous up next