{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T19:47:10Z","timestamp":1770752830146,"version":"3.50.0"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2005,5,31]],"date-time":"2005-05-31T00:00:00Z","timestamp":1117497600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[2005,8]]},"DOI":"10.1007\/s00200-005-0170-3","type":"journal-article","created":{"date-parts":[[2005,5,31]],"date-time":"2005-05-31T16:00:47Z","timestamp":1117555247000},"page":"69-75","source":"Crossref","is-referenced-by-count":4,"title":["Process-algebraic approaches for multi-agent systems: an overview"],"prefix":"10.1007","volume":"16","author":[{"given":"Mirko","family":"Viroli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Omicini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"170_CR1","unstructured":"Austin, J.L.: How do things with words. Oxford University Press (1962)"},{"key":"170_CR2","doi-asserted-by":"crossref","unstructured":"Baeten, J.C.M., Middleburg, C.A.: Process algebra with timing: Real time and discrete time. In: Bergstra et al. [5], chap. 10, pp. 627\u2013684","DOI":"10.1016\/B978-044482830-9\/50028-X"},{"key":"170_CR3","doi-asserted-by":"crossref","unstructured":"Bergenti, F.: Formalizing the reusability of software agents. In: Omicini, A., Petta, P., Pitt, J. (eds.) Engineering Societies in the Agents World IV, vol. 3071 of LNAI. 4th International Workshop (ESAW 2003), London, UK, 29\u201331 October 2003. Revised Selected and Invited Papers. Springer, Berlin Heidelberg New York (2004)","DOI":"10.1007\/978-3-540-25946-6_16"},{"key":"170_CR4","doi-asserted-by":"crossref","unstructured":"Bergenti, F., Rimassa, G., Viroli, M.: Operational semantics for agents by iterated refinement. In: Leite, J.A., Omicini, A., Sterling, L., Torroni, P. (eds.) Declarative Agent Languages and Technologies, vol. 2990 of LNAI, pp. 39\u201355. 1st International Workshop (DALT 2003), Melbourne, Australia, 15 July 2003. Revised Selected and Invited Papers. Springer, Berlin Heidelberg New York (2004)","DOI":"10.1007\/978-3-540-25932-9_3"},{"key":"170_CR5","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland, Amsterdam, London, New York, Oxford, Paris, Shannon and Tokyo (2001)"},{"key":"170_CR6","doi-asserted-by":"crossref","unstructured":"Bonabeau, E., Dorigo, M., Theraulaz, G.: Swarm Intelligence: From Natural to Artificial Systems. Oxford University Press (1999)","DOI":"10.1093\/oso\/9780195131581.001.0001"},{"key":"170_CR7","unstructured":"Cannata, N., Corradini, F., Merelli, E., Omicini, A., Ricci, A.: An agent-oriented conceptual framework for biological systems simulation. In: Merelli, E., Gonzalez, P., Omicini, A. (eds.) Models and Methaphors from Biology to Bioinformatics Tools, pp. 167\u2013180, Camerino, MC, Italy, 5\u20137 September 2004. 4th International Workshop on NETwork Tools and Applications in Biology (NETTAB 2004), Proceedings"},{"key":"170_CR8","doi-asserted-by":"crossref","unstructured":"Ciancarini, P., Omicini, A., Zambonelli, F.: Multiagent system engineering: The coordination viewpoint. In: Jennings, N. R., Lesp\u00e9rance, Y. (eds.) Intelligent Agents VI. Agent Theories, Architectures, and Languages, vol. 1757 of LNAI, pp. 250\u2013259. Springer, Berlin Heidelberg New York (2000)","DOI":"10.1007\/10719619_19"},{"key":"170_CR9","doi-asserted-by":"crossref","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artif. Intel. 42(2\u20133), 213\u2013361 (1990)","DOI":"10.1016\/0004-3702(90)90055-5"},{"key":"170_CR10","unstructured":"Dennett, D.: The Intentional Stance. Bradford Books\/MIT Press, Cambridge, MA (1987)"},{"key":"170_CR11","unstructured":"Fenster, M., Kraus, S., Rosenschein, J.S.: Coordination without communication: Experimental validation of focal point techniques. In: Huhns and Singh [6], pp. 380\u2013386"},{"key":"170_CR12","unstructured":"Ferber, J., M\u00fcller, J.-P.: Influences and reaction: a model of situated multiagent systems. In: Tokoro, M. (ed.) 2nd International Conference on Multi-Agent Systems (ICMAS\u201996), pp. 72\u201379, Kyoto, Japan, 9\u201313 December 1996. AAAI Press\/MIT Press"},{"key":"170_CR13","unstructured":"Ferraiolo, D., Kuhn, R.: Role-Based Access Control. In: 15th NIST\u2013NSA National Computer Security Conference, pp. 554\u2013563, Baltimore, MD, USA, 13\u201316 October 1992"},{"key":"170_CR14","unstructured":"FIPA. FIPA communicative act library specification. http:\/\/www.fipa.org, 2000. Doc. XC00037H"},{"key":"170_CR15","doi-asserted-by":"crossref","unstructured":"Groote, J.F., Reniers, M.A.: Algebraic process verification. In: Bergstra et al. [5], chap. 17, pp. 1151\u20131208","DOI":"10.1016\/B978-044482830-9\/50035-7"},{"key":"170_CR16","unstructured":"Huhns, M.N., Singh, M.P. (eds.): Readings in Agents. Morgan Kaufmann Publishers (1998)"},{"key":"170_CR17","unstructured":"Jonsson, B., Yi, W., Larsen, K.G.: Probabilistic extensions of process algebras. In: Bergstra et al. [5], chap. 11, pp. 685\u2013710"},{"key":"170_CR18","doi-asserted-by":"crossref","unstructured":"Kinny, D.: Vip: a visual programming language for plan execution systems. In: AAMAS 2002, pp. 721\u2013728. ACM Press (2002)","DOI":"10.1145\/544862.544914"},{"key":"170_CR19","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/PL00013712","volume":"2","author":"Kone","year":"3","unstructured":"Kone, M.T., Shimazu, A., Nakajima, T.: The state of the art in agent communication languages. Knowl. Inf. Syst. 2(3), 259\u2013284 (2000)","journal-title":"Knowl. Inf. Syst."},{"key":"170_CR20","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1023\/A:1024787301515","volume":"7","author":"McBurney","year":"3","unstructured":"McBurney, P., van Eijk, R.M., Parsons, S., Amgoud, L.: A dialogue game protocol for agent purchase negotiations. Auton. Agents Multi-Agent Syst. 7(3), 235\u2013273 (2003)","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"170_CR21","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall (1989)"},{"key":"170_CR22","unstructured":"Milner, R.: Communicating and Mobile Systems: The \u03c0-calculus. Cambridge University Press (1999)"},{"key":"170_CR23","unstructured":"Omicini, A.: SODA: Societies and infrastructures in the analysis and design of agent-based systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) Agent-Oriented Software Engineering, vol. 1957 of LNCS, pp. 185\u2013193. 1st International Workshop (AOSE 2000), Limerick, Ireland, 10 June 2000. Revised Papers. Springer, Berlin Heidelberg New York (2001)"},{"key":"170_CR24","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0167-6423(01)00011-9","volume":"41","author":"Omicini","year":"3","unstructured":"Omicini, A., Denti, E.: From tuple spaces to tuple centres. Sci. Compu. Program. 41(3), 277\u2013294 (2001)","journal-title":"Sci. Compu. Program."},{"key":"170_CR25","unstructured":"Omicini, A., Ricci, A., Viroli, M.: Cristiano Castelfranchi, and Luca Tummolini. Coordination artifacts: Environment-based coordination for intelligent agents. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), vol. 1, pp. 286\u2013293, New York, USA, 19\u201323 July 2004. ACM"},{"key":"170_CR26","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1023\/A:1010060322135","volume":"2","author":"Omicini","year":"3","unstructured":"Omicini, A., Zambonelli, F.: Coordination for Internet application development. J. Auton. Agents Multi-Agent Syst. 2(3), 251\u2013269 (1999)","journal-title":"J. Auton. Agents Multi-Agent Syst."},{"key":"170_CR27","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1023\/A:1018980001403","volume":"75","author":"Parunak","year":"1997","unstructured":"Van Dike Parunak, H.: Go to the ant: Engineering principles from natural multi-agent systems. Ann. Oper. Res. 75, 69\u2013101 (1997)","journal-title":"Ann. Oper. Res."},{"key":"170_CR28","doi-asserted-by":"crossref","unstructured":"Van Dyke Parunak, H., Brueckner, S., Fleischer, M., Odell, J.: A preliminary taxonomy of multi-agent interactions. In: 2nd International Joint conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), pp. 1090\u20131091. ACM Press (2003)","DOI":"10.1145\/860575.860810"},{"key":"170_CR29","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D.: The origins of structural operational semantics. J. Logic Algebra. Program. 60\u201361:3\u201315, July\u2013December 2003. Special Issue on Structural Operational Semantics","DOI":"10.1016\/j.jlap.2004.03.009"},{"key":"170_CR30","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Huhns and Singh [16], pp. 317\u2013328"},{"key":"170_CR31","doi-asserted-by":"crossref","unstructured":"Ricci, A., Omicini, A., Denti, E.: Virtual enterprises and workflow management as agent coordination issues. Int. J. Coop. Inform. Syst. 11(3\/4), 355\u2013379, September\/December 2002. Special Issue: Cooperative Information Agents \u2013 Best Papers of CIA 2001","DOI":"10.1142\/S0218843002000637"},{"key":"170_CR32","doi-asserted-by":"crossref","unstructured":"Ricci, A., Omicini, A., Denti, E.: Activity Theory as a framework for MAS coordination. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) Engineering Societies in the Agents World III, vol. 2577 of LNCS, pp. 96\u2013110. 3rd International Workshop (ESAW 2002), Madrid, Spain, 16\u201317 September 2002. Revised Papers. Springer, Berlin Heidelberg New York (2003)","DOI":"10.1007\/3-540-39173-8_8"},{"key":"170_CR33","doi-asserted-by":"crossref","unstructured":"Searle, J.R.: Speech acts: An essay in the philosophy of language. Cambridge University Press (1969)","DOI":"10.1017\/CBO9781139173438"},{"key":"170_CR34","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"Singh","year":"12","unstructured":"Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Comput. 31(12), 40\u201347 (1998)","journal-title":"IEEE Comput."},{"key":"170_CR35","first-page":"89","volume":"1","author":"1(1)","year":"1","unstructured":"Luc Steels: The artificial life roots of artificial intelligence. Artif. Life J. 1(1), 89\u2013125 (1994)","journal-title":"Artif. Life J."},{"key":"170_CR36","doi-asserted-by":"crossref","unstructured":"van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J. Ch.: Operational semantics for agent communication languages. In: Issues in Agent Communication, vol. 1916 of LNAI, pp. 80\u201395. Springer, Berlin Heidelberg New York (2000)","DOI":"10.1007\/10722777_6"},{"key":"170_CR37","doi-asserted-by":"crossref","unstructured":"Viroli, M., Omicini, A.: Specifying agent observable behaviour. In: Castelfranchi, C., Lewis Johnson, W. (eds.) 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), vol. 2, pp. 712\u2013720, Bologna, Italy, 15\u201319 July 2002. ACM","DOI":"10.1145\/544862.544913"},{"key":"170_CR38","unstructured":"Viroli, M., Ricci, A.: Instructions-based semantics of agent mediated interaction. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), vol. 1, pp. 102\u2013110, New York, USA, 19\u201323 July 2004. ACM"},{"key":"170_CR39","doi-asserted-by":"crossref","unstructured":"Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.): Environments for MultiAgent Systems, vol. 3374 of LNAI. 1st International Workshop (E4MAS 2004), New York, NY, USA, 19 July 2004. Revised Selected and Invited Papers. Springer, Berlin Heidelberg New York (2005)","DOI":"10.1007\/978-3-540-32259-7_1"},{"key":"170_CR40","doi-asserted-by":"crossref","unstructured":"Wooldridge, M.J.: Reasoning about Rational Agents. The MIT Press, Cambridge, Massachusetts, and London, England (2000)","DOI":"10.7551\/mitpress\/5804.001.0001"},{"key":"170_CR41","doi-asserted-by":"crossref","unstructured":"Zambonelli, F., Jennings, N.R., Omicini, A., Wooldridge, M.J.: Agent-oriented software engineering for Internet applications. In: Omicini, A., Zambonelli, F., Klusch, M., Tolksdorf, R. (eds.) Coordination of Internet Agents: Models, Technologies, and Applications, chap. 13, pp. 326\u2013346. Springer, Berlin Heidelberg New York (2001)","DOI":"10.1007\/978-3-662-04401-8_13"}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-005-0170-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00200-005-0170-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-005-0170-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T13:47:42Z","timestamp":1735739262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00200-005-0170-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5,31]]},"references-count":41,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2005,8]]}},"alternative-id":["170"],"URL":"https:\/\/doi.org\/10.1007\/s00200-005-0170-3","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,5,31]]}}}