Voir la notice de l'article provenant de la source Math-Net.Ru
[1] D. I. Kozlov, G. P. Anshakov, Ya. A. Mostovoi, A. V. Sollogub, Upravlenie kosmicheskimi apparatami zondirovaniya Zemli: Kompyuternye tekhnologii, Mashinostroenie, M., 1998
[2] A. M. Anisov, P. I. Bystrov, V. A. Smirnov i dr., Logika i kompyuter. Modelirovanie rassuzhdenii i proverka pravilnosti programm, Nauka, M., 1990
[3] Sovetov B. Ya., Yakovlev S. A., Modelirovanie sistem, Vyssh. shk., M., 2001
[4] Ben-Ari M., Manna Z., Pnueli A., “The Temporal Logic of Branching Time”, Proc. 8th Annual Symposium on Principles of Programming Languages (1981, ACM Press, Williamsburg), Springer-Verlag, 1992, 164–176
[5] Baeten J. C. M., Bergstra J. A., “Real time Process Algebra”, Formal Aspects of Computing, 3 (1991), 142–188 | DOI | Zbl
[6] Kasyanov V. N., Evstigneev V. A., Grafy v programmirovanii: obrabotka, vizualizatsiya i primenenie, BKhV-Peterburg, SPb., 2003
[7] K. G. Bataev (red.), Semantika yazykov programmirovaniya, Mir, M., 1979
[8] Kalentev A. A., Avtomatizirovannyi sintez algoritmov asinkhronnogo upravleniya tekhnicheskimi sistemami s mnozhestvom diskretnykh sostoyanii, Sam. gos. aerokosm. un-t, Samara, 1998
[9] Tyugashev A. A., “Problema neodnoznachnosti pri porozhdenii logiko-vremennoi struktury upravlyayuschego algoritma po mnogovkhodovoi modeli realnogo vremeni”, Sb. trudov Tretei mezhdunarodnoi molodezhnoi shkoly-seminara BIKAMP-01, SPb., 2001, 179