Modelling operating system structures by timed stream processing functions.

Saved in:
Bibliographic Details
Title: Modelling operating system structures by timed stream processing functions.
Authors: Broy, Manfred1, Dendorfer, Claus1
Source: Journal of Functional Programming. Jan1992, Vol. 2 Issue 1, p1-21. 21p.
Database: Mathematics Source
Description
ISSN:09567968
DOI:10.1017/S0956796800000241