2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/161252A method of using recursive functions to describe state change is applied to process switching in UNIX-like operating systems.A method based on sequence dependent functions is used to specify and understand the operation of process switch in UNIX like systemsSoftware EngineeringDistributed, Parallel, and Cluster Computingtext