Detection of deadlocks in parallel programs as solution of linear diophantine equations
Автор: Babakhyan Olga F.
Журнал: Вестник Донского государственного технического университета @vestnik-donstu
Рубрика: Технические науки
Статья в выпуске: 7 (58) т.11, 2011 года.
Бесплатный доступ
The method of detecting deadlocks in the distributed systems at the design stage of the system is considered. The system is presented in the form of a model through the formal specification by means of Petri nets.
Testing, parallel programs, petri nets, deadlocks
Короткий адрес: https://sciup.org/14249643
IDR: 14249643
Статья научная
