Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration
|
|
| Creator |
Glybovets, Mykola
Hlomozda, Dmytro |
|
| Subject |
coordination
Petri net computational complexity program agent |
|
| 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.
|
|
| Date |
2010-04-23T13:17:09Z
2010-04-23T13:17:09Z 2008 |
|
| Type |
Article
|
|
| 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://ekmair.ukma.edu.ua/handle/123456789/654 |
|
| Language |
en
|
|
| Relation |
Cybernetics and Systems Analysis. - 2008. - Vol. 44, Nr. 4.
|
|
| Publisher |
Springer New York
|
|