{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T06:31:27Z","timestamp":1747463487158},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633839"},{"type":"electronic","value":"9783540695271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63383-9_81","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T10:27:52Z","timestamp":1153132072000},"page":"187-204","source":"Crossref","is-referenced-by-count":6,"title":["On what Linda is: Formal description of Linda as a reactive system"],"prefix":"10.1007","author":[{"given":"David","family":"Gelernter","sequence":"first","affiliation":[]},{"given":"Lenore","family":"Zuck","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"issue":"6","key":"13_CR1","doi-asserted-by":"publisher","first-page":"1267","DOI":"10.1145\/195613.195651","volume":"41","author":"Y. Afek","year":"1994","unstructured":"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\u20131297, 1994.","journal-title":"Journal of the ACM"},{"key":"13_CR2","unstructured":"P.A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"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\u201328. Springer Verlag, LNCS 924, 1994.","DOI":"10.1007\/3-540-59450-7_2"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"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\u201348. Springer Verlag, LNCS 924, 1994.","DOI":"10.1007\/3-540-59450-7_3"},{"issue":"4","key":"13_CR5","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1049\/sej.1991.0023","volume":"6","author":"P. Butcher","year":"1991","unstructured":"P. Butcher. A behavioral semantics for Linda-2. IEEE Software Engineering Journal, 6(4):196\u2013204, 7 1991.","journal-title":"IEEE Software Engineering Journal"},{"key":"13_CR6","unstructured":"N. Carriero and D. Gelernter. How to Write Parallel Programs: A First Course. MIT Press, 1990."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"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\u2013106. Springer Verlag, LNCS 924, 1994.","DOI":"10.1007\/3-540-59450-7_6"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"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\u20131072. The MIT Press\/Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"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\u2013498. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"13_CR10","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/3-540-55160-3_43"},{"key":"13_CR12","unstructured":"S. Jagannathan. Semantics and analysis of first-class tuple-spaces. Technical Report DCS\/RR-783, 4 1990."},{"key":"13_CR13","unstructured":"Gilles Kahn. The semantics of a simple language for parallel programming. In Information Processing, 74, pages 471\u2013475, Amsterdam, 1974. North Holland."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems (Specification). Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"13_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science","author":"R. Milner","year":"1980","unstructured":"Robin Milner. A calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, New York, 1980."},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"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\u2013146. Springer Verlag, LNCS 924, 1994.","DOI":"10.1007\/3-540-59450-7_8"},{"issue":"1\/2","key":"13_CR17","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1016\/S0019-9958(84)80043-1","volume":"63","author":"A. P. Sistla","year":"1984","unstructured":"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\u2013112, 1984.","journal-title":"Infomation and Control"},{"key":"13_CR18","unstructured":"L. Zuck. Temporal reasoning of Linda system. In preparation, 1997."}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63383-9_81","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T22:04:32Z","timestamp":1555711472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63383-9_81"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633839","9783540695271"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-63383-9_81","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}