A refinement theory for timed-dataflow analysis with support for reordering.

Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij

Browse the full EMSOFT paper archive.