Probabilistic Denotational Semantics for an Interrupt Modelling Language

Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He. Probabilistic Denotational Semantics for an Interrupt Modelling Language. In 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. pages 160-169, IEEE, 2015. [doi]

Abstract

Abstract is missing.