An event detection algebra for reactive systems.

Jan Carlson, Bjrn Lisper

Browse the full EMSOFT paper archive.