State and history in operating systems

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

A 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 systems

Keywords

Software Engineering, Distributed, Parallel, and Cluster Computing

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/161252

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0805.2749
 http://arxiv.org/abs/0805.2749

Collections

arXiv