Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II

Authors: Gromov, Maxim L., Shabaldina, Natalia V.

Source: Automatic control and computer sciences. 2017. Vol. 51, № 7. P. 507-515

Subject Terms: временные автоматы, 0103 physical sciences, бинарная параллельная композиция, 0102 computer and information sciences, каскадная параллельная композиция, 01 natural sciences

Access URL: https://link.springer.com/content/pdf/10.3103/S0146411617070094.pdf
https://link.springer.com/article/10.3103/S0146411617070094
https://dblp.uni-trier.de/db/journals/accs/accs51.html#GromovS17
https://link.springer.com/article/10.3103/S0146411617070094/fulltext.html
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000644648