Система автоматов: композиция по графу связей
https://doi.org/10.15514/ISPRAS-2016-28(1)-8
Аннотация
Об авторах
И. Б. БурдоновРоссия
А. С. Косачев
Россия
Список литературы
1. И.Б.Бурдонов, А.С.Косачев. Тестирование системы автоматов. Труды ИСП РАН, том 28(1), 2016 г.
2. Hoare C.A.R. Communicating Sequential Processes. Englewood Cliffs, NJ: Prentice Hall International, 1985.
3. Milner R. Communication and Concurrency. Prentice-Hall, 1989.
4. Langerak R. A testing theory for LOTOS using deadlock detection. In E.Brinksma, G.Scollo, and C.A.Vissers, editors, Protocol Specification, Testing, and Verification IX, pages 87–98. North-Holland, 1990.
5. Tretmans J. Test Generation with Inputs, Outputs and Repetitive Quiescence. In: Software-Concepts and Tools, Vol. 17, Issue 3, 1996.
6. van der Bijl M., Rensink A., Tretmans J. Compositional testing with ioco. In Formal Approaches to Software Testing: Third International Workshop, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Editors: Alexandre Petrenko, Andreas Ulrich ISBN: 3-540-20894-1. LNCS volume 2931, Springer, pp. 86-100.
7. Petrenko A., Yevtushenko N., Huo J.L. Testing Transition Systems with Input and Output Testers. Proc. IFIP TC6/WG6.1 15th Int. Conf. Testing of Communicating Systems, TestCom’2003, pp. 129-145. Sophia Antipolis, France, May 26-29, 2003.
8. И.Б.Бурдонов, А.С.Косачев. Системы с приоритетами: конформность, тестирование, композиция. "Программирование", 2009, №4, стр. 24-40.
9. И.Б.Бурдонов, А.С.Косачев. Согласование конформности и композиции. Программирование, №6, 2013, стр. 3-15.
Рецензия
Для цитирования:
Бурдонов И.Б., Косачев А.С. Система автоматов: композиция по графу связей. Труды Института системного программирования РАН. 2016;28(1):131-150. https://doi.org/10.15514/ISPRAS-2016-28(1)-8
For citation:
Burdonov I.B., Kossatchev A.S. Automata system: composition according to graph of links. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(1):131-150. (In Russ.) https://doi.org/10.15514/ISPRAS-2016-28(1)-8