|
News of the Kabardin-Balkar scientific center of RAS, 2005, Issue 2, Pages 58–67
(Mi izkab782)
|
|
|
|
INFORMATICS
Specification and modeling of distributed systems using basic protocols
A. A. Letichevskiiab a 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
Citation:
A. A. Letichevskii, “Specification and modeling of distributed systems using basic protocols”, News of the Kabardin-Balkar scientific center of RAS, 2005, no. 2, 58–67
Linking options:
https://www.mathnet.ru/eng/izkab782 https://www.mathnet.ru/eng/izkab/y2005/i2/p58
|
Statistics & downloads: |
Abstract page: | 16 | Full-text PDF : | 17 | References: | 2 |
|