161
click to vote
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...