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.
CITATION STYLE
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
Mendeley helps you to discover research relevant for your work.