Abstract: 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.Abstract: 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 pro...Show More
