Detection of deadlocks in parallel programs as solution of linear diophantine equations

Автор: Babakhyan Olga F.

Журнал: Advanced Engineering Research (Rostov-on-Don) @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

Статья научная