An event detection algebra for reactive systems (2004)

by J Carlson, B Lisper
Venue:In Proceedings of the 4th ACM international conference on Embedded software