Author:
Broy Manfred,Dendorfer Claus
Abstract
AbstractSome 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.
Publisher
Cambridge University Press (CUP)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Kahn Process Networks and a Reactive Extension;Handbook of Signal Processing Systems;2018-10-14
2. Kahn Process Networks and a Reactive Extension;Handbook of Signal Processing Systems;2013
3. The Coroutine Model of Computation;Model Driven Engineering Languages and Systems;2012
4. Kahn Process Networks and a Reactive Extension;Handbook of Signal Processing Systems;2010
5. Automated Analysis of Fault-Tolerance in Distributed Systems;Formal Methods in System Design;2005-03