Dual Flow Nets: Modeling the control/data-flow relation in embedded systems

Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cort├ęs, Petru Eles, Zebo Peng. Dual Flow Nets: Modeling the control/data-flow relation in embedded systems. ACM Trans. Embedded Comput. Syst., 5(1):54-81, 2006. [doi]

Abstract

Abstract is missing.