Process algebra and constraint programming for modeling interactions in MAS

Applicable Algebra in Engineering, Communications and Computing

Volumn 16, Issue 2-3, 2005, Pages 113-150

  De Boer, Frank S ^a   De Vries, Wieke ^a   Meyer, John Jules Ch ^a   Van Eijk, Rogier M ^a   Van Der Hoek, Wiebe ^b  

^a UTRECHT UNIVERSITY   (Netherlands)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; CONSTRAINT THEORY; INFORMATION ANALYSIS;

COMMUNICATING SEQUENTIAL PROCESSES (CSP); CONCURRENT COMPUTATION; CONCURRENT CONSTRAINT PROGRAMMING (CSP); PROCESS-ALGEBRA;

MULTI AGENT SYSTEMS;

EID: 23844552262     PISSN: 09381279     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00200-005-0173-0     Document Type: Article

References (34)

1. de Bakker, J.W., de Vink, E.P.: Control flow semantics. MIT Press, Cambridge, MA (1996)
2. Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Information and Control 60, 109-137 (1984)
3. Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoret. Comput. Sci. 37(1), 77-121 (1985)
4. de Boer, F.S., van Eijk, R.M., van der Hoek, W., Meyer, J.-J.Ch.: 'Fully-Abstract model for the exchange of information in multi-agent systems. Theoretical Computer Science 290(3), 1753-1773 (2003)
5. Brookes, S.D., Hoare, C.A.R., Roscoe, W.: A theory of communicating sequential processes. J. ACM 31, 499-560 (1984)
6. Chen, X.J., De Giacomo, G.: Reasoning about nondeterministic and concurrent actions: a process algebra approach. Artif. Intell. 107(1), 63-98 (1999)
7. van Eijk, R.M.: Programming languages for agent communication. Ph.D. Thesis, Utrecht University (2000)
8. van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.Ch.: Process algebra for agent communication: a general semantic approach. In: M.-Ph. Huget (ed.) Communication in Multiagent Systems Agent Communication Languages and Conversation Policies LNCS 2650, pp. 113-128, Springer, Berlin Heidelberg New York (2003)
9. Ferber, J.: Multi-Agent systems. Addison-Wesley, Harlow (1999)
10. Finin, T., McKay, D., Fritzson, R., McEntire, R.: 'KQML: an information and knowledge exchange protocol'. In: K. Fuchi, T. Yokoi (eds.) Knowledge Building and Knowledge Sharing, Ohmsa and IOS Press (1994)
11. FIPA. Foundation for intelligent physical agents. Communicative act library specification. http://www.fipa.org, 2000.
12. Gärdenfors, P., Rott, H.: Belief revision. In: D.M. Gabbay et al. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol 4, pp. 36-132, Clarendon Press, Oxford (1995)
13. Gelernter, D., Carriero, N.: Coordination languages and their significance. Comm. ACM 35(2), 97-107 (1992)
14. De Giacomo, G., Lespérance, Y., Levesque, H.J., ConGolog : A concurrent programming language based on the situation calculus. Artificial Intelligence 121, 109-169 (2000)
15. Georgeff, M.P., Ingrand, F.: Decision-Making in an Embedded Reasoning System. Proc. IJCAI-89, pp. 972-978, Detroit, MI (1989)
16. Hennessy, M.: Algebraic theory of processes. MIT Press, Cambridge, MA (1988)
17. Hennessy, M., Plotkin, G.D.: Full abstraction for a simple parallel programming language. In: Proc. MFCS'79, LNCS 74, pp. 108-120, Springer, Berlin Heidelberg New York (1979)
18. Hennessy, M.: The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics. Wiley, New York (1990)
19. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.Ch.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Syst. 2, 357-401 (1999)
20. Hoare, C.A.R.: Communicating sequential processes. Prentice-Hall, Englewood Cliffs, NJ (1985)
21. Kinny, D.: The ψ calculus: an algebraic agent language. In: J.-J. Ch. Meyer, M. Tambe (eds.) Intelligent Agents VIIILNAI2333, pp. 32-50, Springer, Berlin Heidelberg New York (2002)
22. Milner, R.: A calculus of communicating systems. LNCS 92, Springer, Berlin (1980)
23. Milner, R.: Operational and algebraic semantics of concurrent processes. In: J. van Leeuwen (ed.) Handbook of Theoretical Computer Science, pp. 1201-1242, Elsevier/ The MIT Press, Amsterdam/Cambridge(Mass.) (1990)
24. Moreira, A.F., Vieira, R., Bordini, R.H.: Operational semantics of speech-act based communication in agentspeak. In: M. d'Inverno, C. Sierra, F. Zambonelli, (eds.) Proc. EUMAS 2003 Oxford (2003)
25. Omicini, A., Ricci, A., Viroli, M.: Formal Specification and Enactment of Security Policies through Agent Coordination Contexts. In: M. d'Inverno, C. Sierra, F. Zambonelli (eds.) Proc. EUMAS 2003, Oxford (2003)
26. Plotkin, G.: A structural approach to operational semantics. Techn. Report DAIMI FN-19, Aarhus University, Aarhus (1981)
27. Saraswat, V.A.: Concurrent constraint programming. The MIT Press, Cambridge, Massachusetts (1993)
28. Tsang, E.P.K.: Foundations of constraint satisfaction. Academic Press, London and San Diego, 1993, ISBN 0-12-701610-4
29. Viroli, M., Omicini, A.: Specifying Agent Observable Behaviour. In: C. Casterfranchi, W.L. Johnson, (eds.) Proc. AAMAS 2002 Bologna, pp. 712-720, ACM Press (2002)
30. de Vries, W.: Agent interaction: abstract approaches to modelling, programming and Verifying Multi-Agent Systems, Ph.D. Thesis, Utrecht University (2002)
31. de Vries, W., de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.-J.Ch.: Aprogramming language for coordinating group actions. In: B. Dunin-Kȩplicz, E. Nawarecki (eds.) From Theory to Practice in Multi-Agent Systems, Proceedings of the 2nd International Workshop of Central and Eastern Europe on Multi-Agent Systems (CEEMAS'01), LNAI 2296, pp. 313-321, Springer, Berlin Heidleberg New York (2002)
32. Weiss, G. (ed.): Multiagent systems. The MIT Press, Cambridge, Massachusetts (1999)
33. Wooldridge, M.J.: An introduction to multiagent systems. Wiley, Chichester (2002)
34. Wooldridge, M.J., Jennings, N.R.: Intelligent agents: theory and practice. The Knowl. Eng. Review 10(2), (1995)