Qin Li, Yongxin Zhao, Huibiao Zhu, Jifeng He. A UTP semantic model for Orc language with execution status and fault handling. Frontiers of Computer Science in China, 8(5):709-725, 2014. [doi]
@article{LiZZH14-0, title = {A UTP semantic model for Orc language with execution status and fault handling}, author = {Qin Li and Yongxin Zhao and Huibiao Zhu and Jifeng He}, year = {2014}, doi = {10.1007/s11704-014-3385-2}, url = {http://dx.doi.org/10.1007/s11704-014-3385-2}, researchr = {https://researchr.org/publication/LiZZH14-0}, cites = {0}, citedby = {0}, journal = {Frontiers of Computer Science in China}, volume = {8}, number = {5}, pages = {709-725}, }