Formal verification of the ricart-agrawala algorithm

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1974, Issue , 2000, Pages 325-335

  Sedletsky, Ekaterina ^a   Pnueli, Amir ^a   Ben Ari, Mordechai ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

BORON COMPOUNDS; COMPUTER SOFTWARE; PHOSPHORUS COMPOUNDS; TELLURIUM COMPOUNDS;

ARBITRARY NUMBER; DISTRIBUTED MUTUAL EXCLUSION; LIVENESS PROPERTIES; MUTUAL EXCLUSIONS; PARAMETERIZED; REACTIVE SYSTEM; SAFETY PROPERTY; TEMPORAL SPECIFICATION;

FORMAL VERIFICATION;

EID: 35248861250     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44450-5_26     Document Type: Conference Paper

References (9)

1. M. Ben-Ari. Principles of Concurrent and Distributed Programming. Prentice-Hall International, Hemel Hempstead, 1990.
2. N. Bjørner, I.A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H.B. Sipma, and T.E. Uribe. STeP: The Stanford Temporal Prover, User’s Manual. Technical Report STAN-CS-TR-95-1562, Computer Science Department, Stanford University, November 1995.
3. J. Kamerer. Ricart and Agrawala’s algorithm. Unpublished, http://rodin.stanford.edu/case-studies, 9 August 1995.
4. L. Lamport An Assertional Correctness Proof of Distributed Program. Science of Computer Programming, 2, 3, December 1982, pages 175–206.
5. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991.
6. Z. Manna and A. Pnueli. Temporal verification diagrams. In T. Ito and A. R. Meyer, editors, Theoretical Aspects of Computer Software, volume 789 of Lect. Notes in Comp. Sci., pages 726–765. Springer-Verlag, 1994.
7. Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, New York, 1995.
8. Z. Manna and A. Pnueli. Verification of parameterized programs. In E. Börger, editor, Specification and Validation Methods, pages 167–230. Oxford University Press, Oxford, 1995.
9. G. Ricart and A.K. Agrawala. An optimal algorithm for mutual exclusion in computer networks. Comm. ACM, 24(1):9–17, 1981. Corr. ibid. 1981, p.581