Compositional Semantics of Non-Deterministic Synchronous Languages.

Florence Maraninchi, Nicolas Halbwachs

Browse the full ESOP paper archive.