An event detection algebra for reactive systems (0)

by J Carlson, B Lisper
Venue:in Proceedings of the 4th ACM International Conference on Embedded Software, 2004