id: 02197082
dt: a
an: 02197082
au: Benveniste, Albert; Caillaud, Benoît; Carloni, Luca P.; Caspi, Paul;
    Sangiovanni-Vincentelli, Alberto L.
ti: Causality and scheduling constraints in heterogeneous reactive systems
    modeling.
so: de Boer, Frank S. (ed.) et al., Formal methods for components and objects.
    Second international symposium, FMCO 2003, Leiden The Netherlands,
    November 4‒7, 2003. Revised lectures. Berlin: Springer (ISBN
    3-540-22942-6/pbk). Lecture Notes in Computer Science 3188, 1-16
    (2004).
py: 2004
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/b100112
ab: Summary: Recently we proposed a mathematical framework offering diverse
    models of computation and a formal foundation for
    correct-by-construction deployment of synchronous designs over
    distributed architecture (such as GALS or LTTA). In this paper, we
    extend our framework to model explicitly causality relations and
    scheduling constraints. We show how the formal results on the
    preservation of semantics hold also for these cases and we discuss the
    overall contribution in the context of previous work on
    desynchronization.
rv: