Geodesic
Specification and modeling of distributed systems using basic protocols
News of the Kabardin-Balkar scientific center of RAS, no. 2 (2005), pp. 58-67

Voir la notice de l'article provenant de la source Math-Net.Ru

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 
@article{IZKAB_2005_2_a8,
     author = {A. A. Letichevskii},
     title = {Specification and modeling of distributed systems using basic protocols},
     journal = {News of the Kabardin-Balkar scientific center of RAS},
     pages = {58--67},
     publisher = {mathdoc},
     number = {2},
     year = {2005},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IZKAB_2005_2_a8/}
}
TY  - JOUR
AU  - A. A. Letichevskii
TI  - Specification and modeling of distributed systems using basic protocols
JO  - News of the Kabardin-Balkar scientific center of RAS
PY  - 2005
SP  - 58
EP  - 67
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IZKAB_2005_2_a8/
LA  - ru
ID  - IZKAB_2005_2_a8
ER  - 
%0 Journal Article
%A A. A. Letichevskii
%T Specification and modeling of distributed systems using basic protocols
%J News of the Kabardin-Balkar scientific center of RAS
%D 2005
%P 58-67
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IZKAB_2005_2_a8/
%G ru
%F IZKAB_2005_2_a8
A. A. Letichevskii. Specification and modeling of distributed systems using basic protocols. News of the Kabardin-Balkar scientific center of RAS, no. 2 (2005), pp. 58-67. http://geodesic.mathdoc.fr/item/IZKAB_2005_2_a8/