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 1413 Downloads 86
Iuri Vitalijovych Koval, Department of Theoretical Cybernetics, Taras Shevchenko National University of Kyiv, Kyiv, Ukraine
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.
Iuri Vitalijovych Koval,
Virtual Process: Inside Approach to Understanding, International Journal of Media and Communication.
Vol. 1, No. 1,
2017, pp. 11-15.
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, https://www.bell-labs.com/usr/dmr/www/1stEdman.html.
E. L. Post, Finite Combinatory Processes - Formulation 1, The Journal of Symbolic Logic, Vol. 1, No. 3. (Sep., 1936), pp. 103-105, http://www.jstor.org/stable/2269031.
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, https://www.bell-labs.com/usr/dmr/www/cman.pdf.
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, http://docs.oracle.com/javase/specs/jls/se7/jls7.pdf.
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, https://www.w3schools.com/html/.
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, http://www.usingcsp.com/cspbook.pdf.
HTML Symbols, https://www.w3schools.com/html/html_symbols.asp.
HTML Links, https://www.w3schools.com/html/html_links.asp.