Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols-Reference-Cited by-同舟云学术

Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols

Published:2002 Issue: Volume: Page:131-140
ISSN:0302-9743
Container-title:From Theory to Practice in Multi-Agent Systems
language:
Short-container-title:

Author:

Hameurlain Nabil

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45941-3_14

Reference17 articles.

1. B. Bauer, J. Odell. Extending UML for the Specification of Interaction Protocols, ICMAS 2000, IEEE Computer Society Press, 2000.

2. Lect Notes Comput Sci;F. M.T. Brazier,1997

3. E. Brinksma, g. Scollo, and Ch. Steenbergen. LOTOS specifications, their implementations and their tests. In Protocol Specification, Testing and Verification VI, pages 349–358, Elsiever, 1987.

4. J. Ferber. Les systèmes multi-agents: vers une intelligence collective, InterEditions Paris, 1995.

5. N. Hameurlain. Composition et Substitution d’agents: sémantique et préservation de propriétés; in proceedings of JFIADSMA’01, pp 135–147, Hermès Science publications, 2001.

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

1. Specification of Role-Based Interactions Components in Multi-agent Systems;Software Engineering for Multi-Agent Systems III;2005

2. Participation Components for Holding Roles in Multiagent Systems Protocols;Lecture Notes in Computer Science;2005

3. MIP-Nets: A Compositional Model of Multiagent Interaction;Lecture Notes in Computer Science

4. Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems;Lecture Notes in Computer Science