Modelling Operating System Structures by Timed Stream Processing Functions (1991)

by Manfred Broy , Claus Dendorfer
Venue:Journal of Functional Programming
Citations:12 - 0 self