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/

[1] A. Letichevsky, D. Gilbert, “A general theory of action languages”, Cybernetics and System Analysis, 1 (1998) | MR | Zbl

[2] A. Letichevsky, D. Gilbert, “A model for interaction of agents and Environments”, Recent Trends in algebraic development Techniques. Lecture Notes in Computer Science, 1827, Springer

[3] A. Letichevsky, D. Gilbert, “A model for interaction of agents and Environments”, In Selected papers from the 14th International workshop on Recent Trends in algebraic development Techniques, Lecture Notes in Computer Science, 1827, 2004

[4] A. Letichevsky, “Algebra of behavior transformations and its applications”, Proceedings of the Summer School on Structural Theory of Automata \date July 8-18, 2003, Semigroups and Universal Algebra, Montreal, Kluwer Acad. Press | MR | Zbl

[5] S. Baranov, C. Jelvis, V. Kotlyarov et al., “Leveraging UML to Deliver Correct Telecom Applications”, UML for Real: Design of Embedded Real-Time systems., 2003, Kluwer Academic Publishers, Amsterdam

[6] A. Letichevsky, J. Kapitonova, Jr. Letichevsky et al., “Basic Protocols, message sequence charts and the verification of requirements specifications”, Computer Networks, 47 (2005)

[7] J. Kapitonova, A. Letichevsky, V. Vilkov, T. Weigert, “Validation of embedded systems”, The embedded systems handbook, eds. Zurawski R., CRC Press, Miami, 2005

[8] A. A. Leticheskii, Yu. V. Kapitonova, V. A. Volkov i dr., “Spetsifikatsiya sistem s pomoschyu bazovykh protokolov”, Kibernetika i sistemnyi analiz, 4 (2005)

[9] E. M. Clarke, B. H. Schlingloff, “Model Checking”, Handbook on Automatic reasoning, II:24, 1635–1790, Elsevier Science

[10] S. Baranov, C. Jervis, V. Kotlyarov et al., Leveraging UML to deliver correct telecom applications in UML for real: design of embedded real-time systems, eds. L. Lavagno, G. Martin, B. Selic et al., Kluwer academic publishers, 2003, 323–342 pp.

[11] J. V. Kapitonova, A. A. Letichevsky, S. V. Konozenko, Computations in APS. Theoretical computer science, v. 119, 1993, 145–171 pp. | MR