{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T14:18:27Z","timestamp":1777299507128,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540417682","type":"print"},{"value":"9783540452416","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45241-9_13","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T14:24:00Z","timestamp":1188311040000},"page":"184-198","source":"Crossref","is-referenced-by-count":34,"title":["tuProlog: A Light-Weight Prolog for Internet Applications and Infrastructures"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Denti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Omicini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Ricci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,29]]},"reference":[{"issue":"3","key":"13_CR1","first-page":"215","volume":"6","author":"P. Ciancarini","year":"1999","unstructured":"P. Ciancarini, A. Omicini, and F. Zambonelli. Coordination technologies for Internet agents. Nordic Journal of Computing, 6(3):215\u2013240, Fall 1999.","journal-title":"Nordic Journal of Computing"},{"key":"13_CR2","unstructured":"CKI Prolog. http:\/\/www.students.cs.uu.nl\/people\/smotterl\/prolog\/ ."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"E. Denti, A._Natali, and A. Omicini. On the expressive power of a language for programming coordination media. In Proceedings ACM 1998 Symposium on Applied Computing (SAC\u201998), pages 169\u2013177, Atlanta (GA), 1998. ACM. Track on Coordination Models, Languages and Applications.","DOI":"10.1145\/330560.330665"},{"key":"13_CR4","unstructured":"E. Denti and A. Omicini. Engineering multi-agent systems in LuCe. In Proceedings ICLP\u201999 International Workshop on Multi-Agent Systems in Logic Programming (MAS\u201999), Las Cruces (NM), 1999."},{"key":"13_CR5","series-title":"Lect Notes Comput Sci","first-page":"305","volume-title":"Coordination Languages and Models (COORDINATION 2000)","author":"E. Denti","year":"2000","unstructured":"E. Denti, A. Omicini, and V. Toschi. The Lu\u2282e coordination technology for MAS design and development on the Internet. In A. Porto and G.-C. Roman, editors, Coordination Languages and Models (COORDINATION 2000), volume 1906 of LNCS, pages 305\u2013310. Springer-Verlag, 2000."},{"key":"13_CR6","volume-title":"Programming Languages","author":"E. W. Dijkstra","year":"1965","unstructured":"E. W. Dijkstra. Co-operating sequential processes. In Programming Languages. Academic Press, London, 1965."},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","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\u2013112, Jan. 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR8","unstructured":"Jinni. http:\/\/www.binnetcorp.com\/Jinni\/ ."},{"key":"13_CR9","unstructured":"jProlog. http:\/\/www.cs.kuleuven.ac.be\/\u223cbmd\/PrologInJava\/ ."},{"key":"13_CR10","unstructured":"MINERVA. http:\/\/www.ifcomputer.com\/MINERVA\/ ."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"A. Omicini and E. Denti. From tuple spaces to tuple centres. Science of Computer Programming, 2001.","DOI":"10.1016\/S0167-6423(01)00011-9"},{"issue":"3","key":"13_CR12","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1023\/A:1010060322135","volume":"2","author":"A. Omicini","year":"1999","unstructured":"A. Omicini and F. Zambonelli. Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems, 2(3):251\u2013269, Sept. 1999. Special Issue on Coordination Mechanisms and Patterns for Web Agents.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"D. Rossi, G. Cabri, and E. Denti. Tuple-based technologies for coordination. In A. Omicini, F. Zambonelli, M. Klusch, and R. Tolksdorf, editors, Coordination of Internet Agents: Models, Technologies and Applications, chapter 4, pages 83\u2013109. Springer-Verlag, Jan. 2001.","DOI":"10.1007\/978-3-662-04401-8_4"},{"key":"13_CR14","unstructured":"R. Tolksdorf. Languages for the Java Virtual Machine. http:\/\/grunge.cs.tu-berlin.de\/\u223ctolk\/vmlanguages.html ."},{"issue":"7","key":"13_CR15","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/306549.306582","volume":"42","author":"J. Waldo","year":"1999","unstructured":"J. Waldo. The Jini architecture for network-centric computing. Communications of the ACM, 42(7):76\u201382, July1999.","journal-title":"Communications of the ACM"},{"issue":"10","key":"13_CR16","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1109\/2.237456","volume":"26","author":"M. Weiser","year":"1993","unstructured":"M. Weiser. Hot topic: Ubiquitous computing. IEEE Computer, 26(10):71\u201372, Oct. 1993.","journal-title":"IEEE Computer"},{"key":"13_CR17","unstructured":"W-Prolog. http:\/\/www.cs.mu.oz.au\/~winikoff\/wp\/ ."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45241-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T17:08:11Z","timestamp":1556816891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45241-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417682","9783540452416"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45241-9_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}