Для цитирования:

Кондратьева О.В., Евтушенко Н.В., Кавалли А.Р. Решение автоматных уравнений для временных автоматов относительно параллельной композиции. Труды Института системного программирования РАН. 2014;26(6):85-98. https://doi.org/10.15514/ISPRAS-2014-26(6)-8

For citation:

Kondratyeva O., Yevtushenko N., Cavalli. A. Solving parallel equations for Finite State Machines with Timeouts. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2014;26(6):85-98. (In Russ.) https://doi.org/10.15514/ISPRAS-2014-26(6)-8