A Denotational Model for Instantaneous Signal Calculus.

Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He

Browse the full SEFM paper archive.