State and history in operating systems
Software Engineering
2008-05-20 v1 Distributed, Parallel, and Cluster Computing
Abstract
A method of using recursive functions to describe state change is applied to process switching in UNIX-like operating systems.
Cite
@article{arxiv.0805.2749,
title = {State and history in operating systems},
author = {Victor Yodaiken},
journal= {arXiv preprint arXiv:0805.2749},
year = {2008}
}
Comments
A method based on sequence dependent functions is used to specify and understand the operation of process switch in UNIX like systems