Modelling operating system structures by timed stream processing functions
Broy, Manfred, Dendorfer, ClausVolume:
2
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s0956796800000241
Date:
January, 1992
File:
PDF, 1.06 MB
english, 1992