Virtual Process: Inside Approach to Understanding
International Journal of Media and Communication
Volume 1, Issue 1, July 2017, Pages: 11-15
Received: Feb. 28, 2017; Accepted: Apr. 6, 2017; Published: Jun. 13, 2017
Views 1697      Downloads 122
Iuri Vitalijovych Koval, Department of Theoretical Cybernetics, Taras Shevchenko National University of Kyiv, Kyiv, Ukraine
Article Tools
Follow on us
This paper is devoted to virtual process notion investigation. Brief history of process notion present. Virtual process, multi-language program, process equivalence, code generalization, and code simplification notion are discussed. Simple example of behavior-equivalence and conditional behavior-equivalence proposed. Virtual process termination problem is discussed also.
Virtual Process, Multi-Language Program, Process Equivalence, Code Generalization, Code Simplification
To cite this article
Iuri Vitalijovych Koval, Virtual Process: Inside Approach to Understanding, International Journal of Media and Communication. Vol. 1, No. 1, 2017, pp. 11-15. doi: 10.11648/j.ijmc.20170101.13
Copyright © 2017 Authors retain the copyright of this article.
This article is an open access article distributed under the Creative Commons Attribution License ( which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
A. Silberschatz, P. B. Galvin, and G. Gagne, OPERATING SYSTEM CONCEPTS with JAVA, 6th ed., JOHN WILEY & SONS, INC., USA, p. 1251, 2004.
K. Thompson, D. M. Ritchie, UNIX PROGRAMMER’S MANUAL, Bell Labs, USA, p. 194, November 1971,
E. L. Post, Finite Combinatory Processes - Formulation 1, The Journal of Symbolic Logic, Vol. 1, No. 3. (Sep., 1936), pp. 103-105,
A. M. Turing, On computable numbers, with an application to the entscheidungsproblem, Proceedings of the London Mathematical Society, 2nd series, vol. 42, pt. 3 (November 30, 1936): pp. 230-240; 2nd series, vol. 42, pt. 4 (December 23, 1936): pp. 241-265; 2nd series, vol. 43, pt. 7 (December 30, 1937): pp. 544-546.
Programming Research Group, The IBM Mathematical FORmula TRANslating System, FORTRAN, Preliminary Report, IBM, New York, USA, p. 29, November 10, 1954.
D. M. Ritchie, C Reference Manual, Bell Telephone Laboratories, Murray Hill, New Jersey, USA, p. 31, 1974,
J. Gosling, B. Joy, G. Steele, G. Bracha, and A. Buckley, The Java® Language Specification Java SE 7 Edition, Oracle America, Inc., USA, p. 670, 2013-02-28,
A. A. Letichevsky, J. V. Kapitonova, V. A. Volkov, A. Chugajenko, V. Chomenko, and V. Peschanenko, Algebraic programming system APS (user manual), Glushkov Institute of Cybernetics, National Acad. of Sciences of Ukraine, Kyiv, Ukraine, p. 43, May 22, 2008.
HTML5 Tutorial,
D. Brugali, M. Torchiano, Software development: case studies in Java, Addisson-Wesley, p. 653, 2005.
Iu. V. Krak, Iu. V. Koval, and A. B. Stavrovskyi, Virtual process: definition and application for gestures interface system creation, Bulletin of Taras Shevchenko National University of Kyiv, Series Physics & Mathematics, vol. 1, pp. 141-144, 2015.
C. A. R. Hoare, Communicating Sequential Processes, p. 260, May 18, 2015,
HTML Symbols,
HTML Links,
Science Publishing Group
1 Rockefeller Plaza,
10th and 11th Floors,
New York, NY 10020
Tel: (001)347-983-5186