INFORMATICS

Specification and modeling of distributed systems using basic protocols

A. A. Letichevskii<sup>ab

a</sup> Glushkov Institute of Cybernetics NAS Ukraine, Kiev
^b Institute of Computer Science and Problems of Regional Management KBSC RAS, Nal'chik

Abstract: This paper examines the issues of specification and modeling of distributed systems using basic protocols. It is shown that the states of transitional systems are usually considered up to bisimulation equivalence. It is important that the invariant of bisimulation equivalence of states is the behavior of the system in a given state. A formal description of the basic protocol is also provided.

Keywords: basic protocol, distributed systems, transition systems, algebra

UDC: 681.1