Semantic theories of programs with nested interrupts

Full description

Bibliographic Details

Published in:	Frontiers of computer science. - Higher Education Press, 2012. - 9(2015), 3 vom: 03. Feb., Seite 331-345
Main Author:	Huang, Yanhong (Author)
Other Authors:	He, Jifeng (Author) Zhu, Huibiao (Author) Zhao, Yongxin (Author) Shi, Jianqi (Author) Qin, Shengchao (Author)
Format:	electronic Article
Language:	English
Published:	2015
ISSN:	2095-2236
External Sources:	lizenzpflichtig