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

DOI10.1007/S10559-008-9019-7zbMath1162.68401OpenAlexW1986956167MaRDI QIDQ1007157

Publication date: 27 March 2009

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: http://ekmair.ukma.edu.ua/handle/123456789/654

zbMATH Keywords

computational complexity Petri net coordination co-NP-completeness program agent

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

This page was built for publication: Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration