Modelling operating system structures by timed stream processing functions

10Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

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. © 1992, Cambridge University Press. All rights reserved.

Cite

CITATION STYLE

APA

Broy, M., & Dendorfer, C. (1992). Modelling operating system structures by timed stream processing functions. Journal of Functional Programming, 2(1), 1–21. https://doi.org/10.1017/S0956796800000241

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free