{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T14:18:15Z","timestamp":1777299495377,"version":"3.51.4"},"reference-count":34,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,11,20]],"date-time":"2014-11-20T00:00:00Z","timestamp":1416441600000},"content-version":"vor","delay-in-days":4920,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1016\/s1571-0661(04)00156-2","type":"journal-article","created":{"date-parts":[[2004,2,5]],"date-time":"2004-02-05T05:34:35Z","timestamp":1075959275000},"page":"179-196","source":"Crossref","is-referenced-by-count":22,"special_numbering":"C","title":["Formal ReSpecT"],"prefix":"10.1016","volume":"48","author":[{"given":"Andrea","family":"Omicini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Denti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB1","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/114005.102807","article-title":"The concurrent language, Shared Prolog","volume":"13","author":"Brogi","year":"1991","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB2","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/4236.865084","article-title":"MARS: A programmable coordination architecture for mobile agents","volume":"4","author":"Cabri","year":"2000","journal-title":"IEEE Internet Computing"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB3","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF03037345","article-title":"Distributed programming with logic tuple spaces","volume":"12","author":"Ciancarini","year":"1994","journal-title":"New Generation Computing"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB4","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1145\/234528.234732","article-title":"Coordination models and languages as software integrators","volume":"28","author":"Ciancarini","year":"1996","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Ciancarini P. and C. Hankin, editors, \u201cCoordination Languages and Models,\u201d LNCS 1061, 1996, 1st International Conference (COORDINATION'96), Cesena (I), 15\u201317 April 1996, Proceedings.","DOI":"10.1007\/3-540-61052-9"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB6","first-page":"215","article-title":"Coordination technologies for Internet agents","volume":"6","author":"Ciancarini","year":"1999","journal-title":"Nordic Journal of Computing"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB7","unstructured":"Ciancarini P., A. Omicini and F. Zambonelli, Multiagent system engineering: The coordination viewpoint, in: N. R. Jennings and Y. Lesp\u00e9rance, editors, Intelligent Agents VI. Agent Theories, Architectures, and Languages, LNAI 1757 (2000), pp. 250\u2013259, 6th International Workshop (ATAL'99), Orlando (FL), 15\u201317 July 1999, Proceedings."},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB8","unstructured":"Ciancarini P. and A. L. Wolf, editors, \u201cCoordination Languages and Models,\u201d LNCS 1594, Springer-Verlag, 1999, 3rd International Conference (COORDINATION'99), 26\u201328 April 1999, Amsterdam, Proceedings."},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB9","series-title":"\u201cAgent-Oriented Software Engineering, LNCS\u201d 1957","year":"2000"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB10","doi-asserted-by":"crossref","unstructured":"Cremonini M., A. Omicini and F. Zambonelli, Multi-agent systems on the Internet: Extending the scope of coordination towards security and topology, in: Garijo and Boman [18], pp. 77\u201388.","DOI":"10.1007\/3-540-48437-X_7"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB11","doi-asserted-by":"crossref","unstructured":"Cremonini M., A. Omicini and F. Zambonelli, Ruling agent motion in structured environments, in: M. R. Bubak, H. Afsarmanesh, R. Williams and B. Hertzberger, editors, High Performance Computing and Networking, LNCS 1823 (2000), pp. 187\u2013196, 8th International Conference (HPCN Europe 2000), 8\u201310 May 2000, Amsterdam (NL), Proceedings.","DOI":"10.1007\/3-540-45492-6_19"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB12","first-page":"169","article-title":"On the expressive power of a language for programming coordination media","volume":"29","author":"Denti","year":"1998","journal-title":"SAC"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB13","doi-asserted-by":"crossref","first-page":"1103","DOI":"10.1002\/(SICI)1097-024X(199910)29:12<1103::AID-SPE273>3.0.CO;2-E","article-title":"An architecture for tuple-based coordination of multi-agent systems","volume":"29","author":"Denti","year":"1999","journal-title":"Software \u2014 Practice & Experience"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB14","doi-asserted-by":"crossref","unstructured":"Denti E., A. Omicini and V. Toschi, The LuCe coordination technology for MAS design and development on the Internet, in: Porto and Roman [28], pp. 305\u2013310.","DOI":"10.1007\/3-540-45263-X_20"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB15","doi-asserted-by":"crossref","unstructured":"Finin, T. W., R. Fritzson, D. McKay and R. McEntire, KQML as an agent communication language, in: 3rd International Conference on Information and Knowledge Management (CIKM'94) (1994), pp. 456\u2013463.","DOI":"10.1145\/191246.191322"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB16","unstructured":"Foundation for Intelligent Physical Agents, FIPA home page. URL http:\/\/www.fipa.org"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB17","series-title":"The Jini Technology Series","article-title":"\u201cJavaSpaces: Principles, Patterns, and Practice\u201d","author":"Freeman","year":"1999"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB18","doi-asserted-by":"crossref","unstructured":"Garijo, F. J. and M. Boman, editors, \u201cMulti-Agent Systems Engineering,\u201d LNAI 1647, Springer-Verlag, 1999, 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'99), Valencia (E), 30 June \u2013 2 July 1999, Proceedings.","DOI":"10.1007\/3-540-48437-X"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB19","doi-asserted-by":"crossref","unstructured":"Garlan D. and D. Le M\u00e9tayer, editors, \u201cCoordination Languages and Models,\u201d LNCS 1282, Springer-Verlag, 1997, 2nd International Conference (COORDINATION'97), 1\u20133 September 1997, Berlin (D), Proceedings.","DOI":"10.1007\/3-540-63383-9"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB20","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","article-title":"Generative communication in Linda","volume":"7","author":"Gelernter","year":"1985","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB21","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1145\/298151.298229","article-title":"On the semantics of tuple-based coordination models","volume":"30","author":"Omicini","year":"1999","journal-title":"SAC"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB22","doi-asserted-by":"crossref","unstructured":"Omicini A., SODA: Societies and infrastructures in the analysis and design of agent-based systems, in: Ciancarini and Wooldridge [9], pp. 185\u2013193.","DOI":"10.1007\/3-540-44564-1_12"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB23","doi-asserted-by":"crossref","unstructured":"Omicini A., E. Denti and A. Natali, Agent coordination and control through logic theories, in: M. Gori and G. Soda, editors, Topics in Artificial Intelligence, LNAI 992 (1995), pp. 439\u2013450, 4th Congress of the Italian Association for Artificial Intelligence (AI\u2217IA'95), Firenze (I), 11\u201313 October 1995, Proceedings.","DOI":"10.1007\/3-540-60437-5_43"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/08839510150204581","article-title":"Why coordination models and languages in AI?","volume":"15","author":"Omicini","year":"2001","journal-title":"Applied Artificial Intelligence"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB25","series-title":"Engineering Societies in the Agents World,\u201d LNAI 1972","year":"2000"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB26","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1023\/A:1010060322135","article-title":"Coordination for Internet application development","volume":"2","author":"Omicini","year":"1999","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB27","series-title":"\u201cCoordination of Internet Agents: Models, Technologies, and Applications\u201d","first-page":"XXVII-523","year":"2001"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB28","doi-asserted-by":"crossref","unstructured":"Porto A., and G.-C. Roman, editors, \u201cCoordination Languages and Models,\u201d LNCS 1906, Springer-Verlag, 2000, 4th International Conference (COORDINATION 2000), 11\u201313 September 2000, Limassol (Cyprus), Proceedings.","DOI":"10.1007\/3-540-45263-X"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB29","unstructured":"\u201c1998 ACM Symposium on Applied Computing (SAC'98),\u201d 27 February \u2013 1 March 1998, Atlanta (GA), Proceedings. Track on Coordination Models, Languages and Applications."},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB30","unstructured":"\u201c1999 ACM Symposium on Applied Computing (SAC'99),\u201d 28 February \u2013 2 March 1999, San Antonio (TX), Proceedings. Track on Coordination Models, Languages and Applications."},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB31","unstructured":"\u201c2000 ACM Symposium on Applied Computing (SAC 2000),\u201d 19\u201321 March 2000, Como (Italy), Proceedings. Track on Coordination Models, Languages and Applications."},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB32","unstructured":"\u201c16th ACM Symposium on Applied Computing (SAC 2001),\u201d 11\u201314 March 2001. Las Vegas (NV), Proceedings. Track on Coordination Models, Languages and Applications."},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB33","unstructured":"Tarau P., Jinni. URL http:\/\/www.binnetcorp.com\/Jinni\/"},{"key":"10.1016\/S1571-0661(04)00156-2_NEWBIB34","first-page":"106","article-title":"A Logic Programming infrastructure for remote execution, mobile code and agents","author":"Tarau","year":"1997","journal-title":"6th IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'97)"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001562?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001562?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,27]],"date-time":"2023-04-27T19:03:59Z","timestamp":1682622239000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104001562"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":34,"alternative-id":["S1571066104001562"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00156-2","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}