Skip to main content
SpringerLink
Log in

Process-algebraic approaches for multi-agent systems: an overview

  • Published:
Applicable Algebra in Engineering, Communication and Computing Aims and scope

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Austin, J.L.: How do things with words. Oxford University Press (1962)

  2. 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–684

  3. 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–31 October 2003. Revised Selected and Invited Papers. Springer, Berlin Heidelberg New York (2004)

  4. 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–55. 1st International Workshop (DALT 2003), Melbourne, Australia, 15 July 2003. Revised Selected and Invited Papers. Springer, Berlin Heidelberg New York (2004)

  5. 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)

  6. Bonabeau, E., Dorigo, M., Theraulaz, G.: Swarm Intelligence: From Natural to Artificial Systems. Oxford University Press (1999)

  7. 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–180, Camerino, MC, Italy, 5–7 September 2004. 4th International Workshop on NETwork Tools and Applications in Biology (NETTAB 2004), Proceedings

  8. Ciancarini, P., Omicini, A., Zambonelli, F.: Multiagent system engineering: The coordination viewpoint. In: Jennings, N. R., Lespérance, Y. (eds.) Intelligent Agents VI. Agent Theories, Architectures, and Languages, vol. 1757 of LNAI, pp. 250–259. Springer, Berlin Heidelberg New York (2000)

  9. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artif. Intel. 42(2–3), 213–361 (1990)

    Google Scholar 

  10. Dennett, D.: The Intentional Stance. Bradford Books/MIT Press, Cambridge, MA (1987)

  11. Fenster, M., Kraus, S., Rosenschein, J.S.: Coordination without communication: Experimental validation of focal point techniques. In: Huhns and Singh [6], pp. 380–386

  12. Ferber, J., Müller, J.-P.: Influences and reaction: a model of situated multiagent systems. In: Tokoro, M. (ed.) 2nd International Conference on Multi-Agent Systems (ICMAS’96), pp. 72–79, Kyoto, Japan, 9–13 December 1996. AAAI Press/MIT Press

  13. Ferraiolo, D., Kuhn, R.: Role-Based Access Control. In: 15th NIST–NSA National Computer Security Conference, pp. 554–563, Baltimore, MD, USA, 13–16 October 1992

  14. FIPA. FIPA communicative act library specification. http://www.fipa.org, 2000. Doc. XC00037H

  15. Groote, J.F., Reniers, M.A.: Algebraic process verification. In: Bergstra et al. [5], chap. 17, pp. 1151–1208

  16. Huhns, M.N., Singh, M.P. (eds.): Readings in Agents. Morgan Kaufmann Publishers (1998)

  17. Jonsson, B., Yi, W., Larsen, K.G.: Probabilistic extensions of process algebras. In: Bergstra et al. [5], chap. 11, pp. 685–710

  18. Kinny, D.: Vip: a visual programming language for plan execution systems. In: AAMAS 2002, pp. 721–728. ACM Press (2002)

  19. Kone, M.T., Shimazu, A., Nakajima, T.: The state of the art in agent communication languages. Knowl. Inf. Syst. 2(3), 259–284 (2000)

    Google Scholar 

  20. 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–273 (2003)

    Article  Google Scholar 

  21. Milner, R.: Communication and Concurrency. Prentice Hall (1989)

  22. Milner, R.: Communicating and Mobile Systems: The π-calculus. Cambridge University Press (1999)

  23. 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–193. 1st International Workshop (AOSE 2000), Limerick, Ireland, 10 June 2000. Revised Papers. Springer, Berlin Heidelberg New York (2001)

  24. Omicini, A., Denti, E.: From tuple spaces to tuple centres. Sci. Compu. Program. 41(3), 277–294 (2001)

    Article  Google Scholar 

  25. 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–293, New York, USA, 19–23 July 2004. ACM

  26. Omicini, A., Zambonelli, F.: Coordination for Internet application development. J. Auton. Agents Multi-Agent Syst. 2(3), 251–269 (1999)

    Article  Google Scholar 

  27. Van Dike Parunak, H.: Go to the ant: Engineering principles from natural multi-agent systems. Ann. Oper. Res. 75, 69–101 (1997)

    Article  Google Scholar 

  28. 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–1091. ACM Press (2003)

  29. Plotkin, G.D.: The origins of structural operational semantics. J. Logic Algebra. Program. 60–61:3–15, July–December 2003. Special Issue on Structural Operational Semantics

  30. Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Huhns and Singh [16], pp. 317–328

  31. Ricci, A., Omicini, A., Denti, E.: Virtual enterprises and workflow management as agent coordination issues. Int. J. Coop. Inform. Syst. 11(3/4), 355–379, September/December 2002. Special Issue: Cooperative Information Agents – Best Papers of CIA 2001

  32. 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–110. 3rd International Workshop (ESAW 2002), Madrid, Spain, 16–17 September 2002. Revised Papers. Springer, Berlin Heidelberg New York (2003)

  33. Searle, J.R.: Speech acts: An essay in the philosophy of language. Cambridge University Press (1969)

  34. Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Comput. 31(12), 40–47 (1998)

    Google Scholar 

  35. Luc Steels: The artificial life roots of artificial intelligence. Artif. Life J. 1(1), 89–125 (1994)

    Google Scholar 

  36. 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–95. Springer, Berlin Heidelberg New York (2000)

  37. 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–720, Bologna, Italy, 15–19 July 2002. ACM

  38. 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–110, New York, USA, 19–23 July 2004. ACM

  39. 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)

  40. Wooldridge, M.J.: Reasoning about Rational Agents. The MIT Press, Cambridge, Massachusetts, and London, England (2000)

  41. 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–346. Springer, Berlin Heidelberg New York (2001)

Download references

Author information

Authors and Affiliations

  1. DEIS, Dipartimento di Elettronica, Informatica e Sistemistica, Alma Mater Studiorum, Università di Bologna, via Venezia 52, 47023, Cesena, Italy

    Mirko Viroli & Andrea Omicini

Authors
  1. Mirko Viroli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrea Omicini
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mirko Viroli.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Viroli, M., Omicini, A. Process-algebraic approaches for multi-agent systems: an overview. AAECC 16, 69–75 (2005). https://doi.org/10.1007/s00200-005-0170-3

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00200-005-0170-3

Keywords

Search

Navigation