Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
Glybovets, Mykola
Hlomozda, Dmytro Глибовець, Микола Глибовец, Николай Гломозда, Дмитро |
|
| Date |
2010-04-23T13:17:09Z
2010-04-23T13:17:09Z 2008 |
|
| Identifier |
Glibovets N. Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration / N. N. Glibovets, D. K.Hlomozda // Cybernetics and Systems Analysis. - 2008. - Vol. 44, Nr. 4. - S. 477-481.
http://www.ekmair.ukma.kiev.ua/handle/123456789/654 |
|
| Description |
The problem of verifying the coordination mechanism in a system of software support of network collaboration is considered. This problem is demonstrated to be similar to the agent verification problem. It is proved that the problem of verifying the coordination mechanism is co-complete.
|
|
| Language |
en
|
|
| Publisher |
Springer New York
|
|
| Subject |
coordination
Petri net computational complexity program agent |
|
| Title |
Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration
|
|
| Type |
Article
|
|
| Relation |
Cybernetics and Systems Analysis. - 2008. - Vol. 44, Nr. 4.
|
|