Semantic theories of programs with nested interrupts

Yanhong Huang, Jifeng He, Yongxin Zhao, Shengchao Qin, Jianqi Shi

    Research output: Contribution to journalArticlepeer-review

    Fingerprint Dive into the research topics of 'Semantic theories of programs with nested interrupts'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science