{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,15]],"date-time":"2024-06-15T13:21:07Z","timestamp":1718457667066},"reference-count":34,"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-0173-0","type":"journal-article","created":{"date-parts":[[2005,5,31]],"date-time":"2005-05-31T16:00:47Z","timestamp":1117555247000},"page":"113-150","source":"Crossref","is-referenced-by-count":4,"title":["Process algebra and constraint programming for modeling interactions in MAS"],"prefix":"10.1007","volume":"16","author":[{"given":"Frank S. de","family":"Boer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wieke de","family":"Vries","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rogier M. van","family":"Eijk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiebe van der","family":"Hoek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"173_CR1","unstructured":"de Bakker, J.W., de Vink, E.P.: Control flow semantics. MIT Press, Cambridge, MA (1996)"},{"key":"173_CR2","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Information and Control 60, 109\u2013137 (1984)","journal-title":"Information and Control"},{"key":"173_CR3","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"Bergstra","year":"1","unstructured":"Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoret. Comput. Sci. 37(1), 77\u2013121 (1985)","journal-title":"Theoret. Comput. Sci."},{"key":"173_CR4","doi-asserted-by":"crossref","first-page":"1753","DOI":"10.1016\/S0304-3975(02)00078-6","volume":"290","author":"Boer","year":"3","unstructured":"de Boer, F.S., van Eijk, R.M., van der Hoek, W., Meyer, J.-J.Ch.: \u2018Fully-Abstract model for the exchange of information in multi-agent systems. Theoretical Computer Science 290(3), 1753\u20131773 (2003)","journal-title":"Theoretical Computer Science"},{"key":"173_CR5","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/828.833","volume":"31","author":"Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, W.: A theory of communicating sequential processes. J. ACM 31, 499\u2013560 (1984)","journal-title":"J. ACM"},{"key":"173_CR6","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0004-3702(98)00104-0","volume":"107","author":"Chen","year":"1","unstructured":"Chen, X.J., De Giacomo, G.: Reasoning about nondeterministic and concurrent actions: a process algebra approach. Artif. Intell. 107(1), 63\u201398 (1999)","journal-title":"Artif. Intell."},{"key":"173_CR7","unstructured":"van Eijk, R.M.: Programming languages for agent communication. Ph.D. Thesis, Utrecht University (2000)"},{"key":"173_CR8","doi-asserted-by":"crossref","unstructured":"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\u2013128, Springer, Berlin Heidelberg New York (2003)","DOI":"10.1007\/978-3-540-44972-0_5"},{"key":"173_CR9","unstructured":"Ferber, J.: Multi-Agent systems. Addison-Wesley, Harlow (1999)"},{"key":"173_CR10","unstructured":"Finin, T., McKay, D., Fritzson, R., McEntire, R.: \u2018KQML: an information and knowledge exchange protocol\u2019. In: K. Fuchi, T. Yokoi (eds.) Knowledge Building and Knowledge Sharing, Ohmsa and IOS Press (1994)"},{"key":"173_CR11","unstructured":"FIPA. Foundation for intelligent physical agents. Communicative act library specification. http:\/\/www.fipa.org, 2000."},{"key":"173_CR12","doi-asserted-by":"crossref","unstructured":"G\u00e4rdenfors, 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\u2013132, Clarendon Press, Oxford (1995)","DOI":"10.1093\/oso\/9780198537915.003.0002"},{"key":"173_CR13","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"Gelernter","year":"2","unstructured":"Gelernter, D., Carriero, N.: Coordination languages and their significance. Comm. ACM 35(2), 97\u2013107 (1992)","journal-title":"Comm. ACM"},{"key":"173_CR14","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"Giacomo","year":"2000","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J., ConGolog : A concurrent programming language based on the situation calculus. Artificial Intelligence 121, 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"key":"173_CR15","unstructured":"Georgeff, M.P., Ingrand, F.: Decision-Making in an Embedded Reasoning System. Proc. IJCAI-89, pp. 972\u2013978, Detroit, MI (1989)"},{"key":"173_CR16","unstructured":"Hennessy, M.: Algebraic theory of processes. MIT Press, Cambridge, MA (1988)"},{"key":"173_CR17","doi-asserted-by":"crossref","unstructured":"Hennessy, M., Plotkin, G.D.: Full abstraction for a simple parallel programming language. In: Proc. MFCS\u201979, LNCS 74, pp. 108\u2013120, Springer, Berlin Heidelberg New York (1979)","DOI":"10.1007\/3-540-09526-8_8"},{"key":"173_CR18","unstructured":"Hennessy, M.: The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics. Wiley, New York (1990)"},{"key":"173_CR19","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"Hindriks","year":"1999","unstructured":"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\u2013401 (1999)","journal-title":"Autonomous Agents and Multi-Agent Syst."},{"key":"173_CR20","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Prentice-Hall, Englewood Cliffs, NJ (1985)"},{"key":"173_CR21","doi-asserted-by":"crossref","unstructured":"Kinny, D.: The \u03a8 calculus: an algebraic agent language. In: J.-J. Ch. Meyer, M. Tambe (eds.) Intelligent Agents VIII LNAI 2333, pp. 32\u201350, Springer, Berlin Heidelberg New York (2002)","DOI":"10.1007\/3-540-45448-9_4"},{"key":"173_CR22","doi-asserted-by":"crossref","unstructured":"Milner, R.: A calculus of communicating systems. LNCS 92, Springer, Berlin (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"173_CR23","doi-asserted-by":"crossref","unstructured":"Milner, R.: Operational and algebraic semantics of concurrent processes. In: J. van Leeuwen (ed.) Handbook of Theoretical Computer Science, pp. 1201\u20131242, Elsevier\/ The MIT Press, Amsterdam\/Cambridge(Mass.) (1990)","DOI":"10.1016\/B978-0-444-88074-1.50024-X"},{"key":"173_CR24","unstructured":"Moreira, A.F., Vieira, R., Bordini, R.H.: Operational semantics of speech-act based communication in agentspeak. In: M. d\u2019Inverno, C. Sierra, F. Zambonelli, (eds.) Proc. EUMAS 2003 Oxford (2003)"},{"key":"173_CR25","doi-asserted-by":"crossref","unstructured":"Omicini, A., Ricci, A., Viroli, M.: Formal Specification and Enactment of Security Policies through Agent Coordination Contexts. In: M. d\u2019Inverno, C. Sierra, F. Zambonelli (eds.) Proc. EUMAS 2003, Oxford (2003)","DOI":"10.1016\/S1571-0661(04)80682-0"},{"key":"173_CR26","unstructured":"Plotkin, G.: A structural approach to operational semantics. Techn. Report DAIMI FN-19, Aarhus University, Aarhus (1981)"},{"key":"173_CR27","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A.: Concurrent constraint programming. The MIT Press, Cambridge, Massachusetts (1993)","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"173_CR28","unstructured":"Tsang, E.P.K.: Foundations of constraint satisfaction. Academic Press, London and San Diego, 1993, ISBN 0-12-701610-4"},{"key":"173_CR29","doi-asserted-by":"crossref","unstructured":"Viroli, M., Omicini, A.: Specifying Agent Observable Behaviour. In: C. Casterfranchi, W.L. Johnson, (eds.) Proc. AAMAS 2002 Bologna, pp. 712\u2013720, ACM Press (2002)","DOI":"10.1145\/544862.544913"},{"key":"173_CR30","unstructured":"de Vries, W.: Agent interaction: abstract approaches to modelling, programming and Verifying Multi-Agent Systems, Ph.D. Thesis, Utrecht University (2002)"},{"key":"173_CR31","doi-asserted-by":"crossref","unstructured":"de Vries, W., de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.-J.Ch.: A programming language for coordinating group actions. In: B. Dunin-Keplicz, 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\u201901), LNAI 2296, pp. 313\u2013321, Springer, Berlin Heidleberg New York (2002)","DOI":"10.1007\/3-540-45941-3_33"},{"key":"173_CR32","unstructured":"Weiss, G. (ed.): Multiagent systems. The MIT Press, Cambridge, Massachusetts (1999)"},{"key":"173_CR33","unstructured":"Wooldridge, M.J.: An introduction to multiagent systems. Wiley, Chichester (2002)"},{"key":"173_CR34","doi-asserted-by":"crossref","unstructured":"Wooldridge, M.J., Jennings, N.R.: Intelligent agents: theory and practice. The Knowl. Eng. Review 10(2), (1995)","DOI":"10.1017\/S0269888900008122"}],"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-0173-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00200-005-0173-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-005-0173-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,26]],"date-time":"2024-01-26T10:58:49Z","timestamp":1706266729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00200-005-0173-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5,31]]},"references-count":34,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2005,8]]}},"alternative-id":["173"],"URL":"https:\/\/doi.org\/10.1007\/s00200-005-0173-0","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]]}}}