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]

@inproceedings{HuangZQH15,
  title = {Probabilistic Denotational Semantics for an Interrupt Modelling Language},
  author = {Yanhong Huang and Yongxin Zhao and Shengchao Qin and Jifeng He},
  year = {2015},
  doi = {10.1109/ICECCS.2015.35},
  url = {http://dx.doi.org/10.1109/ICECCS.2015.35},
  researchr = {https://researchr.org/publication/HuangZQH15},
  cites = {0},
  citedby = {0},
  pages = {160-169},
  booktitle = {20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015},
  publisher = {IEEE},
  isbn = {978-1-4673-8581-7},
}