Geodesic
Synchronous model of automaton program
Modelirovanie i analiz informacionnyh sistem, Tome 14 (2007) no. 1, pp. 11-18

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

This article presents a model of automaton program that satisfies synchronous model requirements. A formal automaton program model lets to use an existing technologies and tools of synchronous programs verification for checking automaton programs. An Esterel language and an Esterel Technologies Inc. toolbox will be used to build a program verifier. 
@article{MAIS_2007_14_1_a1,
     author = {S. V. Kubasov and V. A. Sokolov},
     title = {Synchronous model of automaton program},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {11--18},
     publisher = {mathdoc},
     volume = {14},
     number = {1},
     year = {2007},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2007_14_1_a1/}
}
TY  - JOUR
AU  - S. V. Kubasov
AU  - V. A. Sokolov
TI  - Synchronous model of automaton program
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2007
SP  - 11
EP  - 18
VL  - 14
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2007_14_1_a1/
LA  - ru
ID  - MAIS_2007_14_1_a1
ER  - 
%0 Journal Article
%A S. V. Kubasov
%A V. A. Sokolov
%T Synchronous model of automaton program
%J Modelirovanie i analiz informacionnyh sistem
%D 2007
%P 11-18
%V 14
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2007_14_1_a1/
%G ru
%F MAIS_2007_14_1_a1
S. V. Kubasov; V. A. Sokolov. Synchronous model of automaton program. Modelirovanie i analiz informacionnyh sistem, Tome 14 (2007) no. 1, pp. 11-18. http://geodesic.mathdoc.fr/item/MAIS_2007_14_1_a1/