Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Type theory and real-time systems (any pointers?)
2 views
Skip to first unread message
Frank Pohl
Aug 18, 1990, 9:11:01 PM8/18/90
to
I'd like to know if type theory has been applied in the study
of real-time systems. Thanks for any pointers.
of real-time systems. Thanks for any pointers.
0 new messages