DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS

DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS

Show other versions (1)

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.

Bibliographic Details
Main Author: Olga F. Babakhyan
Format: Article
Language:Russian
Published: Don State Technical University 2018-07-01
Series:Вестник Донского государственного технического университета
Subjects:
testing
parallel programs
petri nets
deadlocks.
Online Access:https://vestnik.donstu.ru/jour/article/view/823
id doaj-5b055242bb184099917b59f5985ff2f9
record_format Article
spelling doaj-5b055242bb184099917b59f5985ff2f92020-11-25T02:37:47ZrusDon State Technical UniversityВестник Донского государственного технического университета1992-59801992-60062018-07-0111710461050811DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONSOlga F. Babakhyan0Rostov Scientific Research Institute for RadiocommunicationThe 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.https://vestnik.donstu.ru/jour/article/view/823testingparallel programspetri netsdeadlocks.
collection DOAJ
language Russian
format Article
sources DOAJ
author Olga F. Babakhyan
spellingShingle Olga F. Babakhyan
DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS
Вестник Донского государственного технического университета
testing
parallel programs
petri nets
deadlocks.
author_facet Olga F. Babakhyan
author_sort Olga F. Babakhyan
title DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS
title_short DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS
title_full DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS
title_fullStr DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS
title_full_unstemmed DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS
title_sort detection of deadlocks in parallel programs as solution of linear diophantine equations
publisher Don State Technical University
series Вестник Донского государственного технического университета
issn 1992-5980
1992-6006
publishDate 2018-07-01
description 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.
topic testing
parallel programs
petri nets
deadlocks.
url https://vestnik.donstu.ru/jour/article/view/823
work_keys_str_mv AT olgafbabakhyan detectionofdeadlocksinparallelprogramsassolutionoflineardiophantineequations
_version_ 1724793396073070592

Similar Items