{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:55:57Z","timestamp":1762458957965},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594505"},{"type":"electronic","value":"9783540492696"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59450-7_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:17:05Z","timestamp":1330276625000},"page":"125-146","source":"Crossref","is-referenced-by-count":28,"title":["Law-governed linda as a coordination model"],"prefix":"10.1007","author":[{"given":"Naftaly H.","family":"Minsky","sequence":"first","affiliation":[]},{"given":"Jerrold","family":"Leichter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"8_CR1","unstructured":"Robert Bjornson. Linda on distributed memory multiprocessors. Technical Report RR-931, Yale University Department of Computer Science, November 1992. Also a 1993 Yale University PhD thesis."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Nicholas Carriero and David Gelernter. The S\/Net's Linda kernel. ACM Transactions on Computer Systems, 4(2), May 1986.","DOI":"10.1145\/214419.214420"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Nicholas Carriero and David Gelernter. Applications experience with Linda. ACM SIGPLAN Notices, 23(9), September 1988. Proceedings of ACM\/SIGPLAN PPEALS 1988.","DOI":"10.1145\/62116.62132"},{"key":"8_CR4","unstructured":"Paolo Ciancarini. Enacting rule-based software processes with polis. Technical report, University of Pisa, October 1991."},{"key":"8_CR5","unstructured":"W.F. Clocksin and C.S. Mellish. Programming in Prolog. Springer-Verlag, 1981."},{"key":"8_CR6","unstructured":"P.J. Denning and G. S. Graham. Protection \u2014 principles and practice. In AFIPS 1972 Spring Joint Computer Conf., pages 417\u2013429. AFIPS, 1972."},{"issue":"2","key":"8_CR7","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"D. Gelenter","year":"1992","unstructured":"D. Gelenter and N. Carriero. Coordination languages and their significance. Communications of the ACM, 35(2):97\u2013107, February 1992.","journal-title":"Communications of the ACM"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"David H. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1), January 1985.","DOI":"10.1145\/2363.2433"},{"issue":"10","key":"8_CR9","first-page":"1253","volume":"32","author":"K.M. Kahn","year":"1989","unstructured":"K.M. Kahn and M.S. Miller. A letter about the article\u2019 Linda in Context\u2019 by Carrierro and Gelernter. Communications of the ACM, 32(10):1253\u20131255, Oct. 1989.","journal-title":"Communications of the ACM"},{"issue":"10","key":"8_CR10","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/362375.362389","volume":"16","author":"B.W. Lampson","year":"1976","unstructured":"B.W. Lampson. A note on the confinement problem. Communications of the ACM, 16(10):613\u2013615, Oct. 1976.","journal-title":"Communications of the ACM"},{"key":"8_CR11","unstructured":"Jerrold Leichter and Naftaly H. Minsky. Obligations in law governed distributed systems. In preparation."},{"key":"8_CR12","unstructured":"Jerrold S. Leichter. Shared tuple memories, shared memories, buses and LAN's \u2014 Linda implementations across the spectrum of connectivity. Technical Report TR-714, Yale University Department of Computer Science, July 1989. Also a 1989 Yale University PhD thesis."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"N.H. Minsky. The imposition of protocols over open distributed systems. IEEE Transactions on Software Engineering, February 1991.","DOI":"10.1109\/32.67599"},{"key":"8_CR14","unstructured":"N.H. Minsky and A. Lockman. Ensuring integrity by adding obligations to privileges. In Proceedings of the 8th International Conference on Software Engineering, pages 92\u2013102, August 1985."},{"key":"8_CR15","unstructured":"J. Pinakis. Providing directed communication in linda. In Proceedings of the 15th Australian Computer Science Conf., pages 731\u2013743, 1992."},{"key":"8_CR16","unstructured":"Robert A. Whiteside and Jerrold S. Leichter. Using Linda for supercomputing on a local area network. In Proceedings, Supercomputing '88, November 1988. Also Yale University Department of Computer Science Technical Report TR-638 and Sandia National Laboratories Report SAND88-8818, both June 1988."}],"container-title":["Lecture Notes in Computer Science","Object-Based Models and Languages for Concurrent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59450-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:27:12Z","timestamp":1605648432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59450-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594505","9783540492696"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-59450-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}