Please use this identifier to cite or link to this item: http://hdl.handle.net/10525/155

 Title: Formalization of Interaction Events in Multi-agent Systems Authors: Cheremisinov, DmitryCheremisinova, Liudmila Keywords: multi-agent systeminteraction protocoltime Issue Date: 2008 Publisher: Institute of Information Theories and Applications FOI ITHEA Abstract: The problem of the description of interaction between spatially divided agents in the form of dialogues is explored. The concept of processes synchronization is analyzed to formalize the specification of interaction at the level of events constituting the processes. The approach to formalization of the description of conditions of synchronization when both the independent behavior and the communications of agents can be presented at a logic level is offered. It is shown, that the collective behavior of agents can be specified by the synthetic temporal logic that unites linear and branching time temporal logics. URI: http://hdl.handle.net/10525/155 ISSN: 1313-048X Appears in Collections: Volume 2 Number 2

Files in This Item:

File Description SizeFormat