{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:16Z","timestamp":1725456076281},"publisher-location":"Berlin\/Heidelberg","reference-count":26,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354057932X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0017535","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T03:05:14Z","timestamp":1132628714000},"page":"73-92","source":"Crossref","is-referenced-by-count":0,"title":["Concurrency and communication: Choices in implementing the coordination language LO"],"prefix":"10.1007","author":[{"given":"Marc","family":"Bourgois","sequence":"first","affiliation":[]},{"given":"Jean -Marc","family":"Andreoli","sequence":"additional","affiliation":[]},{"given":"Remo","family":"Pareschi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"J-M. Andreoli, L. Leth, R. Pareschi, and B. Thomsen. True concurrency semantics for a linear logic programming language with broadcast communication. In Proc. of TAPSOFT'93, Orsay (France), 1992.","DOI":"10.1007\/3-540-56610-4_64"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"J-M. Andreoli and R. Pareschi. Communication as fair distribution of knowledge. In Proc. of OOPSLA'91, Phoenix, Az, U.S.A., 1991.","DOI":"10.1145\/117954.117971"},{"key":"5_CR3","unstructured":"J-M. Andreoli, R. Pareschi, and T. Castagnetti. Abstract interpretation of linear logic programs. In Proc. of the 1993 International Logic Programming Symposium, Vancouver (Canada), 1993."},{"key":"5_CR4","unstructured":"M. Bourgois, J-M. Andreoli, and R. Pareschi. Extending objects with rules, composition and concurrency: the lo experience. In Proc. of the OOPSLA '92 workshop on Object-Oriented Programming Languages \u2014 The Next Generation, Vancouver, Canada, 1992."},{"issue":"1","key":"5_CR5","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/114005.102807","volume":"13","author":"A. Brogi","year":"1991","unstructured":"A. Brogi and P. Ciancarini. The concurrent language shared prolog. ACM Transactions on Programming Languages and Systems, 13(1):99\u2013123, 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR6","volume-title":"Programming Expert Systems in OPS-5","author":"L. Brownston","year":"1985","unstructured":"L. Brownston, R. Farrell, E. Kant, and N. Martin. Programming Expert Systems in OPS-5. Addison-Wesley, Reading, Massachussetts, 1985."},{"issue":"2","key":"5_CR7","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1145\/214419.214420","volume":"4","author":"N. Carriero","year":"1986","unstructured":"N. Carriero and D. Gelernter. The s\/net linda kernel. ACM Transactions on Computer Systems, 4(2):110\u2013129, 1986.","journal-title":"ACM Transactions on Computer Systems"},{"issue":"14","key":"5_CR8","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1016\/0743-7315(91)90100-N","volume":"13","author":"T. Castagnetti","year":"1991","unstructured":"T. Castagnetti and P. Ciancarini. Static analysis of a parallel logic language based on the blackboard model. Journal of Parallel and Distributed Computing, 13(14):412\u2013423, 1991.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"5_CR9","volume-title":"Technical report","author":"P. Ciancarini","year":"1991","unstructured":"P. Ciancarini. Polis (poli spaces): Programming with multiple tuple spaces. Technical report, Dept of Computer Science, Yale University, Hew Haven, Ct, U.S.A., 1991."},{"key":"5_CR10","unstructured":"P. Ciancarini and D. Gelernter. A distributed programming environment based on logic tuple spaces. In Proc. of FGCS'92, Tokyo, Japan, 1992."},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1126\/science.254.5035.1181","volume":"254","author":"S.H. Clearwater","year":"1991","unstructured":"S.H. Clearwater, B.H. Huberman, and T. Hogg. Cooperative solution of constraint satisfaction problems. Science, 254, 11 1991.","journal-title":"Science"},{"key":"5_CR12","volume-title":"Implementation of gamma on the connection machine","author":"C. Creveuil","year":"1992","unstructured":"C. Creveuil. Implementation of gamma on the connection machine. In Proc. of the workshop: Research Direction in High-Level Parallel Programming Languages, Mont Saint Michel, France, 1992."},{"key":"5_CR13","volume-title":"Technical report","author":"E.G. Cooper","year":"1990","unstructured":"Cooper E.G. and Draves R.P. C threads. Technical report, Dept. of Computer Science, Carnegie Mellon Univ., Pittsburgh, Pennsylvania, 1990."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"J.E. Faust and H. Levy. The performance of an object oriented threads package. In Proc. of OOPSLA\/ECOOP'90, Ottawa, Canada, 1990.","DOI":"10.1145\/97945.97979"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"C.L. Forgy. Rete: a fast algorithm for the many pattern\/many object pattern match problem. Artificial Intelligence, 19(1), 1982.","DOI":"10.1016\/0004-3702(82)90020-0"},{"issue":"1","key":"5_CR16","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80\u2013113, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR17","volume-title":"Technical report","author":"A. Giacalone","year":"1992","unstructured":"A. Giacalone, F. Cosquer, A. Kramer, T. Kuo, L. Leth, S. Prasad, and B. Thomsen. Distribution made Facile. Technical report, ECRC, Munich, Germany, 1992."},{"key":"5_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y. Girard","year":"1987","unstructured":"J-Y. Girard. Linear logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"5_CR19","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1145\/63404.63405","volume":"7","author":"A. Gupta","year":"1989","unstructured":"A. Gupta, C. Forgy, and A. Newell. High-speed implementations of rule-based systems. ACM Transactions on Computer Systems, 7(2):119\u2013146, 1989.","journal-title":"ACM Transactions on Computer Systems"},{"key":"5_CR20","volume-title":"Systems Programming with Modula-3","author":"G. Nelson","year":"1991","unstructured":"G. Nelson. Systems Programming with Modula-3. Prentice Hall, Englewood Cliffs, New Jersey, 1991."},{"key":"5_CR21","unstructured":"Xerox PARC. Rpc library for modula. Provided with the modula-3 public release."},{"key":"5_CR22","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. MIT, 1986."},{"key":"5_CR23","unstructured":"S. Stolfo. Five parallel algorithms for production system execution on the DADO machine. In Proc. of AAAI'84, Austin, Tx, U.S.A., 1984."},{"key":"5_CR24","volume-title":"The C++ Programming Language","author":"B. Stroustrup","year":"1986","unstructured":"B. Stroustrup. The C++ Programming Language. Addison-Wesley, Reading, Massachussetts, 1986."},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"A. Tannenbaum, M. Kaashoek, and H. Bal. Parallel programming using shared objects and broadcasting. IEEE Computer, August 1992.","DOI":"10.1109\/2.153276"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"D. Ungar and C. Chambers. Efficient implementation of object-oriented programming languages. In Tutorial Notes, OOPSLA '92, Vancouver, Canada, 1992.","DOI":"10.1145\/157709.157785"}],"container-title":["Lecture Notes in Computer Science","Object-Based Distributed Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0017535.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:38:54Z","timestamp":1607531934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017535"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354057932X"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/bfb0017535","relation":{},"subject":[]}}