State and history in operating systems

A method of using recursive functions to describe state change is applied to process switching in UNIX-like operating systems.