Skip to main content
SpringerLink
Log in

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

  • Cybernetics
  • Published:
Cybernetics and Systems Analysis Aims and scope

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. M. M. Glibovets and D. K. Hlomozda, “Formal model of a coordinationally founded network for a training collaboration system,” Probl. Progr., No. 2–3, 402–412 (2006).

  2. M. M. Glibovets, “Models and methods of creation and support of a high-performance distributed training environment,” Synopsis of Doctoral Thesis in Physical and Mathematical Sciences, V. M. Glushkov Institute of Cybernetics of NASU, Kiev (2006).

    Google Scholar 

  3. M. Wooldridge and P. E. Dunne, “The computational complexity of agent verification,” in: Proc. 8th International Workshop (Intelligent Agents VIII) on Agent Theories, Architectures, and Languages (ATAL-2001), Springer, Berlin (2002), pp. 115–127.

    Google Scholar 

  4. C. H. Papadimitriou, Computational Complexity, Addison-Wesley, New York (1994).

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. National University “Kievo-Mogilyanskaya Akademiya”, Kiev, Ukraine

    N. N. Glibovets & D. K. Hlomozda

Authors
  1. N. N. Glibovets
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. D. K. Hlomozda
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to N. N. Glibovets.

Additional information

__________

Translated from Kibernetika i Sistemnyi Analiz, No. 4, pp. 15–19, July–August 2008.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Glibovets, N.N., Hlomozda, D.K. Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration. Cybern Syst Anal 44, 477–481 (2008). https://doi.org/10.1007/s10559-008-9019-7

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10559-008-9019-7

Keywords

Search

Navigation