Institute of Information Theories and Applications FOI ITHEA
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.