Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
A UTP semantic model for Orc language with execution status and fault handling
LI, Qin, ZHAO, Yongxin, ZHU, Huibiao, HE, Jifeng
Published in Frontiers of Computer Science (01.10.2014)
Published in Frontiers of Computer Science (01.10.2014)
Get full text
Journal Article