Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration

Simple item page
dc.contributor.authorGlybovets, Mykola
dc.contributor.authorHlomozda, Dmytro
dc.date.accessioned2010-04-23T13:17:09Z
dc.date.available2010-04-23T13:17:09Z
dc.date.issued2008
dc.description.abstractThe 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.en_US
dc.identifier.citationGlibovets 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.en_US
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/654
dc.language.isoenen_US
dc.publisherSpringer New Yorken_US
dc.relation.sourceCybernetics and Systems Analysis. - 2008. - Vol. 44, Nr. 4.en_US
dc.statuspublished earlieren_US
dc.subjectcoordinationen_US
dc.subjectPetri neten_US
dc.subjectcomputational complexityen_US
dc.subjectprogram agenten_US
dc.titleComplexity of the problem of verifying the coordination mechanism in a system of software support of network collaborationen_US
dc.typeArticleen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Glibovets_Hlomozda_Complexity of the problem.pdf
Size:
451.4 KB
Format:
Adobe Portable Document Format
Download
Collections
Кафедра інформатики