On what linda is: Formal description of linda as a reactive system

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

Volumn 1282, Issue , 1997, Pages 187-204

  Gelernter, David ^a   Zuck, Lenore ^a  

^a YALE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957083431     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63383-9_81     Document Type: Conference Paper

References (18)

1. Y. Afek, H. Attiya, A. Fekete, M. J. Fischer, N. A. Lynch, Y. Mansour, D. Wang, and L. D. Zuck. Reliable communication over unreliable channels. Journal of the ACM, 41(6):1267–1297, 1994.
2. P.A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems.Addison-Wesley, 1987.
3. S. Bijnens, W. Joosen, and P. Verbaeten. Sender-initiated and recevier-initiated coordination in a global object space. In O. Ciancarmi, O. Nierstrasz, and A, Yonezawa, editors, Object-Based Models and Languages for Concurrent Systems, pages 14–28. Springer Verlag, LNCS 924, 1994.
4. N. Brown. Conrrectness-preserving transformations for the design of parallel programs. In O. Ciancarini, O. Nierstrasz, and A. Yonezawa, editors, Object-Based Models and Languages for Concurrent Systems, pages 29–48. Springer Verlag, LNCS 924, 1994.
5. P. Butcher. A behavioral semantics for Linda-2. IEEE Software Engineering Journal, 6(4):196–204, 7 1991.
6. N. Carriero and D. Gelernter. How to Write Parallel Programs: A First Course. MIT Press, 1990.
7. P. Ciancarini, K. K. Jensen, and D. Yankelevich. On the operational semantics of a coordination language. In O. Ciancarini, O. Nierstrasz, and A. Yonezawa, editors, Object-Based Models and Languages for Concurrent Systems, pages 77-106. Springer Verlag, LNCS 924, 1994.
8. E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal models and Semantics, pages 995–1072. The MIT Press/Elsevier, 1990.
9. D. Harel and A. Pnueli. On the development of reactive systems. In K. R. Apt, editor, Logics and Models of Concurrent Systems, Lecture Notes in Computer Science, pages 477–498. Springer-Verlag, 1985.
10. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.
11. S. Hupfer, D. Kaminsky, N. Carriero, and D. Gelernter. Coordination applications of Linda. In Proceedings of Irisa/Inria Conference on Research Directions in HighLevelParallel Programming Languages. Mont Saint-Michel, June 1991.
12. S. Jagannathan. Semantics and analysis of first-class tuple-spaces. Technical Report DCS/RR-783, 4 1990.
13. Gilles Kahn. The semantics of a simple language for parallel programming. In Information Processing, 74, pages 471–475, Amsterdam, 1974. North Holland.
14. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems (Specification).Springer-Verlag, 1992.
15. Robin Milner. A calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, New York, 1980.
16. N. H. Minsky and J. Leichter. Law-governed linda as a coordination model. In O. Ciancarini, O. Nierstrasz, and A. Yonezawa, editors, Object-Based Models and Languages for Concurrent Systems, pages 125–146. Springer Verlag, LNCS 924, 1994.
17. A. P. Sistla, E. M. Clarke, N. Francez, and A. R. Meyer. Can message buffers be axiomatized in linear temporal logic? Infomation and Control, 63(1/2):88–112, 1984.
18. L. Zuck. Temporal reasoning of Linda system. In preparation, 1997.