Operational Semantics for Agent Communication Languages-Reference-Cited by-同舟云学术

Operational Semantics for Agent Communication Languages

Published:2000 Issue: Volume: Page:80-95
ISSN:0302-9743
Container-title:Issues in Agent Communication
language:
Short-container-title:

Author:

van Eijk Rogier M.,de Boer Frank S.,van der Hoek Wiebe,Meyer John-Jules C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10722777_6

Reference16 articles.

1. America, P.H.M., de Bakker, J., Kok, J.N., Rutten, J.: Operational semantics of a parallel object-oriented language. In: Conference Record of the 13th Annual ACM Symposium on Principles of Programming Languages, pp. 194–208. St. Petersburg Beach, Florida (1986)

2. Andrews, G.R.: Concurrent Programming, Principles and Practice. The Benjamin/Cummings Publishing Company, Inc., Redwood City (1991)

3. Birrell, A.D., Nelson, B.J.: Implementing remote procedure calls. ACM Transactions on Computer Systems 2, 39–59 (1984)

4. Cohen, P., Levesque, H.: Communicative actions for arti cial agents. In: Proceedings of the First International Conference on Multi-Agent Systems (1995)

5. Colombetti, M.: Semantic, normative and practical aspects of agent communication. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916. Springer, Heidelberg (2000)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Interpreted Systems Semantics for Process Algebra with Identity Annotations;Logic, Language, and Computation;2013

2. Engineering Agent Conversations with the DIALOG Framework;Multiagent System Technologies;2006

3. Process-algebraic approaches for multi-agent systems: an overview;Applicable Algebra in Engineering, Communication and Computing;2005-05-31

4. A Formal Framework for Interaction Protocol Engineering;Multi-Agent Systems and Applications IV;2005

5. Operational Semantics for Agents by Iterated Refinement;Declarative Agent Languages and Technologies;2004