Modelling operating system structures by timed stream processing functions

1 January 1992

journal article
research article
Published by Cambridge University Press (CUP) in Journal of Functional Programming

Vol. 2 (1) , 1-21
https://doi.org/10.1017/s0956796800000241

Abstract

Some extensions of the basic formalism of stream processing functions are useful to specify complex structures such as operating systems. In this paper we give the foundations of higher order stream processing functions. These are functions which send and accept not only messages representing atomic data, but also complex elements such as functions. Some special notations are introduced for the specification and manipulation of such functions. A representation of time is outlined, which enables us to model time dependent behaviour. Finally, we demonstrate how characteristic operating system structures can be modelled by timed higher order stream processing functions.

Keywords

This publication has 5 references indexed in Scilit:

A calculus of higher order communicating systems
Published by Association for Computing Machinery (ACM) ,1989
Functional Programming and Operating Systems
The Computer Journal, 1989
Nondeterministic data flow programs: How to avoid the merge anomaly
Science of Computer Programming, 1988
Message-based functional operating systems
Science of Computer Programming, 1986
Scenarios: A model of non-determinate computation
Published by Springer Nature ,1981