Probabilistic Denotational Semantics for an Interrupt Modelling Language.

Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He

Browse the full ICECCS paper archive.