G Roumage, S Azaiez, C Faure,
S Louise - arXiv preprint arXiv …, 2025 - arxiv.org
Dataflow Model of Computation and Communications (DF MoCCs) is a formalism used to
specify the behavior of Cyber-Physical Systems (CPSs). DF MoCCs are widely used in the …