Modelling operating system structures by timed stream processing functions.
Saved in:
| 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 |
| ISSN: | 09567968 |
|---|---|
| DOI: | 10.1017/S0956796800000241 |