Modelling Asynchrony with a Synchronous Model

Formal Methods in System Design

Volumn 15, Issue 3, 1999, Pages 175-199

  Kurshan, R P ^a   Merritt, M ^a   Orda, A ^b   Sachs, S R ^c  

^a LUCENT TECHNOLOGIES   (United States)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042764413     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008792918020     Document Type: Article

References (14)

1. Y. Afek, D.S. Greenberg, M. Merritt, and G. Taubenfeld, "Computing with faulty shared memory," in Proc. 11th ACM Symp. on Principles of Distributed Computing, 1992.
2. S. Aggarwal, R.P. Kurshan, and K. Sabnani, "A calculus for protocol specification and validation," Protocol Specification, Testing and Verification III, North-Holland, pp. 19-34, 1983.
3. P. Halmos, Lectures on Boolean Algebras, Springer-Verlag, 1974.
4. Z. Har'El and R.P. Kurshan, "Modelling concurrent processes," in Proceedings of Internat. Conf. Syst. Sci. Eng., pp. 382-385, 1988.
5. C.A.R. Hoare, Communicating Sequential Processes. Prentice-Hall, 1985.
6. R.P. Kurshan, Automata-Theoretic Verification, UC Berkeley Lecture Notes, 1992.
7. R.P. Kurshan, Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach, Princeton University Press, 1994.
8. N. Lynch, Distributed Algorithms, Morgan-Kaufman, 1996.
9. R. Milner, "Calculi for Synchrony and Asynchrony," in Theoretical Computer Science, vol. 25, pp. 267-340, 1983.
10. N. Lynch and M. Tuttle, "Hierarchical correctness proofs for distributed algorithms," in Proc. 6th ACM Symp. on Principles of Distributed Computing, pp. 137-151, 1987.
11. N. Lynch and M. Tuttle, "An introduction to input/output automata," CWI-Quarterly, Vol. 2, pp. 219-246, September 1989.
12. K.L. McMillan, Symbolic Model Checking, Kluwer, 1993.
13. M. Merritt, A. Orda, and S.R. Sachs, "Formal verification of a distributed algorithm for accessing faulty shared memory," Formal Methods in System Design, Vol. 10, pp. 93-125, February 1997.
14. E. Sikorski, Boolean Algebras, Springer Verlag, 1969.