External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Yanhong Huang

This author has not been identified. Look up 'Yanhong Huang' in Google

Yongxin Zhao

This author has not been identified. Look up 'Yongxin Zhao' in Google

Shengchao Qin

This author has not been identified. Look up 'Shengchao Qin' in Google

Jifeng He

This author has not been identified. Look up 'Jifeng He' in Google
runs on