Advertisement

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

  • David Gelernter
  • Lenore Zuck
Regular Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1282)

Keywords

Temporal Logic Process Group Eval Process Formal Semantic Linear Temporal Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.CrossRefGoogle Scholar
  2. 2.
    P.A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.Google Scholar
  3. 3.
    S. Bijnens, W. Joosen, and P. Verbaeten. Sender-initiated and recevier-initiated coordination in a global object space. In O. Ciancarini, O. Nierstrasz, and A. Yonezawa, editors, Object-Based Models and Languages for Concurrent Systems, pages 14–28. Springer Verlag, LNCS 924, 1994.Google Scholar
  4. 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.Google Scholar
  5. 5.
    P. Butcher. A behavioral semantics for Linda-2. IEEE Software Engineering Journal, 6(4):196–204, 7 1991.Google Scholar
  6. 6.
    N. Carriero and D. Gelernter. How to Write Parallel Programs: A First Course. MIT Press, 1990.Google Scholar
  7. 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.Google Scholar
  8. 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.Google Scholar
  9. 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.Google Scholar
  10. 10.
    C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.Google Scholar
  11. 11.
    S. Hupfer, D. Kaminsky, N. Carriero, and D. Gelernter. Coordination applications of Linda. In Proceedings of Irisa/Inria Conference on Research Directions in High-Level Parallel Programming Languages. Mont Saint-Michel, June 1991.Google Scholar
  12. 12.
    S. Jagannathan. Semantics and analysis of first-class tuple-spaces. Technical Report DCS/RR-783, 4 1990.Google Scholar
  13. 13.
    Gilles Kahn. The semantics of a simple language for parallel programming. In Information Processing, 74, pages 471–475, Amsterdam, 1974. North Holland.Google Scholar
  14. 14.
    Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems (Specification). Springer-Verlag, 1992.Google Scholar
  15. 15.
    Robin Milner. A calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, New York, 1980.Google Scholar
  16. 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.Google Scholar
  17. 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.CrossRefGoogle Scholar
  18. 18.
    L. Zuck. Temporal reasoning of Linda system. In preparation, 1997.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • David Gelernter
    • 1
  • Lenore Zuck
    • 1
  1. 1.Department of Computer ScienceYale UniversityUSA

Personalised recommendations