Compositional Semantics of ESTEREL and Verification by Compositional Reductions.

Robert de Simone, Annie Ressouche

Browse the full CAV paper archive.