{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:25Z","timestamp":1725664585898},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:16:31Z","timestamp":1330276591000},"page":"1-13","source":"Crossref","is-referenced-by-count":9,"title":["Rule-based object coordination"],"prefix":"10.1007","author":[{"given":"Jean-Marc","family":"Andreoli","sequence":"first","affiliation":[]},{"given":"Herv\u00e9","family":"Gallaire","sequence":"additional","affiliation":[]},{"given":"Remo","family":"Pareschi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"1_CR1","unstructured":"Andreoli, J-M., Borghoff, U., Pareschi, R. (1994). Constraint Based Knowledge Brokers. Proc. of PASCO'94, Linz., Austria."},{"key":"1_CR2","unstructured":"Andreoli, J-M., Castagnetti, T., Pareschi, R. (1993). Abstract Interpretation of Linear Logic Proofs. Proc. of ILPS'93, Vancouver, Canada."},{"key":"1_CR3","volume-title":"Research Directions in Concurrent Object Oriented Programming","author":"J-M. Andreoli","year":"1993","unstructured":"Andreoli, J-M., Ciancarini, P., Pareschi, R. (1993). Interaction Abstract Machines. In Agha, G., Yonezawa, A. and Wegner, P. Eds, Research Directions in Concurrent Object Oriented Programming. MIT Press, Cambridge, Ma."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Andreoli, J-M., Pareschi, R. (1991). Communication as Fair Distribution of Knowledge. Proc. of OOPSLA '91, Phoenix, Az, U.S.A.","DOI":"10.1145\/117954.117971"},{"key":"1_CR5","volume-title":"Technical Report","author":"U. Borghoff","year":"1994","unstructured":"Borghoff, U. (1994). LoKit, a Toolkit for building Collaborative Applications. Rank Xerox Research Centre, Grenoble, France, Technical Report."},{"key":"1_CR6","volume-title":"How to Write Parallel Programs","author":"N. Carriero","year":"1990","unstructured":"Carriero, N., Gelernter, D. (1990). How to Write Parallel Programs. MIT Press, Cambridge, Ma, U.S.A."},{"key":"1_CR7","unstructured":"Gehlen, A. (1986). Urmensch und Sp\u00c4tkultur. Philosophische Ergebnisse und Aussagen. Aula Verlag GmbH."},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y. Girard","year":"1987","unstructured":"Girard, J-Y. (1987). Linear Logic. Theoretical Computer Science\n50, 1\u2013102","journal-title":"Theoretical Computer Science"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Goldberg, Y., Safran, M., Shapiro, E. (1992). Active Mail, a Framework for Implementing Groupware. Proc. of the ACM Conference on Computer Supported Cooperative Work, Toronto, Canada.","DOI":"10.1145\/143457.143464"},{"key":"1_CR10","volume-title":"Logic and Models of Concurrent Systems","author":"D. Harel","year":"1985","unstructured":"Harel, D., Pnueli, A. (1985). On the Development of Reactive Systems. In Apt, K.R. ed, Logic and Models of Concurrent Systems, Springer Verlag, Berlin."},{"issue":"1","key":"1_CR11","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/174666.174668","volume":"26","author":"T.W. Malone","year":"1994","unstructured":"Malone, T.W., Crowstone, K. (1994). The Interdisciplinary Study of Coordination. ACM Computing Surveys\n26:1, 87\u2013119","journal-title":"ACM Computing Surveys"},{"key":"1_CR12","volume-title":"Research Directions in Concurrent Object Oriented Programming","author":"O. Nierstrasz","year":"1994","unstructured":"Nierstrasz, O. (1994). Composing Active Objects. In Agha, G., Yonezawa, A. and Wegner, P. Eds, Research Directions in Concurrent Object Oriented Programming. MIT Press, Cambridge, Ma."},{"key":"1_CR13","volume-title":"Technical Report","author":"V.A. Saraswat","year":"1992","unstructured":"Saraswat, V.A., Lincoln, P. (1992). Higher Order Linear Concurrent Constraint Programming. Xerox Parc, Palo Alto, Ca, U.S.A., Technical Report."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Rinard, M., Panangaden, P. (1991). Semantic Foundations of Concurrent Constraint Programming. Proc. of 9th ACM Symposium on Principles of Programming Languages, Orlando, Fl, U.S.A.","DOI":"10.1145\/99583.99627"},{"key":"1_CR15","volume-title":"Technical Report","author":"Y. Shoam","year":"1991","unstructured":"Shoam, Y. (1991). Agent-Oriented Programming. Standford University, Robotics Laboratory, Stanford, Ca, U.S.A., Technical Report, To appear in the Journal of Artificial Intelligence."},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Steels, L. (1994). Beyond Objects. Proc. of ECOOP'94, Bologna, Italy.","DOI":"10.1007\/BFb0052173"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Tokoro, M. (1993). The Society of Objects. Proc. of OOPSLA '93, Vancouver, B.C., Canada.","DOI":"10.1145\/260303.260305"},{"key":"1_CR18","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck van","year":"1989","unstructured":"Hentenryck, P. van (1989). Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, Ma, U.S.A."},{"issue":"6","key":"1_CR19","first-page":"33","volume":"5","author":"S. Vinoski","year":"1993","unstructured":"Vinoski, S. (1993). Distributed Object Computing with CORBA. C++ report\n5:6, 33\u201338","journal-title":"C++ report"},{"key":"1_CR20","volume-title":"Technical Report","author":"P. Wegner","year":"1989","unstructured":"Wegner, P. (1989). Conceptual Evolution of Object-Oriented Programming. Brown University, Dept. of Computer Science, Providence, RI, U.S.A., Technical Report."},{"key":"1_CR21","volume-title":"Technical Report","author":"P. Wegner","year":"1994","unstructured":"Wegner, P. (1994). The Expressive Power of Interaction. Brown University, Dept. of Computer Science, Providence, RI, U.S.A., Technical Report."}],"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_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:27:37Z","timestamp":1619573257000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59450-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594505","9783540492696"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-59450-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}