Browse Menu >>

Browse Subjects >>

Biomedical & Life Sciences

Business & Economics

Chemistry & Materials Science

Computer Science & Communications

Earth & Environmental Sciences

Engineering

Medicine & Healthcare

Physics & Mathematics

Social Sciences & Humanities

Why Us? >>

  • - Open Access
  • - Peer-reviewed
  • - Rapid publication
  • - Lifetime hosting
  • - Free indexing service
  • - Free promotion service
  • - More citations
  • - Search engine friendly

Free SCIRP Newsletters>>

Add your e-mail address to receive free newsletters from SCIRP.

 

Contact Us >>

WhatsApp  +86 18163351462(WhatsApp)
   
Paper Publishing WeChat
Book Publishing WeChat
(or Email:book@scirp.org)

Article citations

More>>

S. D. Brookes, C. A. R. Hoare, and A. D. Roscoe, “A theory of communicating sequential processes,” Journal of the ACM, Vol. 31, No. 3, pp. 560–599, 1984.

has been cited by the following article:

  • TITLE: The Specification of Agent Interaction in Multi-Agent Systems

    AUTHORS: Dmitri CHEREMISINOV

    KEYWORDS: interaction protocol, temporal logic, parallel algorithm

    JOURNAL NAME: Intelligent Information Management, Vol.1 No.2, November 30, 2009

    ABSTRACT: The problem of the description of interaction between agents in a multi-agent system (MAS) in the form of dialogues of negotiations is considered. For formalization of the description of interaction at a level of steps of the dialogue which is carried out in common by two spatially divided agents, the concept of synchronization of processes is analyzed. The approach to formalization of the description of conditions of synchronization when both the independent behaviour, and the communications of agents can be presented at a level of logic is offered. It is shown, that the collective behavior of agents can be described by the synthetic temporal logic that unite linear and branching time temporal logics.