Compositional timing-aware semantics for synchronous programming.

Joaqun Aguado, Michael Mendler, Jia Jie Wang, Bruno Bodin, Partha S. Roop

Browse the full FDL paper archive.