A UTP semantic model for Orc language with execution status and fault handling

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]

Authors

Qin Li

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

Yongxin Zhao

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

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google

Jifeng He

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