导出
  • 排序
  • 显示
1. A New Roadmap for Linking Theories of Programming SCOPUS EI CPCI-S

作者:He, JF

通讯作者:Jifeng, He(jifeng@sei.ecnu.edu.cn)

通讯作者地址:He, JF (reprint author), East China Normal Univ, Int Res Ctr Trustworthy Software, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[He Jifeng] East China Normal Univ, Int Res Ctr Trustworthy Software, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

来源:UNIFYING THEORIES OF PROGRAMMING, UTP 2016,2017,10134,26-43

收录类别:SCOPUS;EI;CPCI-S

资源类型:外文期刊论文;外文会议论文

2. UTP Semantics for rTiMo SCOPUS EI CPCI-S

作者:Xie, WL; Xiang, SQ

通讯作者:Xie, Wanling(mmrs_113_213@163.com)

通讯作者地址:Xie, WL (reprint author), East China Normal Univ, Sch Comp Sci & Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[Xie, Wanling; Xiang, Shuangqing] East China Normal Univ, Sch Comp Sci & Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

来源:UNIFYING THEORIES OF PROGRAMMING, UTP 2016,2017,10134,176-196

收录类别:SCOPUS;EI;CPCI-S

资源类型:外文期刊论文;外文会议论文

3. A Denotational Semantics for Parameterised Networks of Synchronised Automata CPCI-S

作者:Li, SQ; Madelaine, E

通讯作者地址:Li, SQ (reprint author), ECNU, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[Li, Siqi] ECNU, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; [Madelaine, Eric] Univ Cote dAzur, INRIA, I3S, Sophia Antipolis, Fra 更多

来源:UNIFYING THEORIES OF PROGRAMMING, UTP 2016,2017,Vol.10134,93-113

收录类别:CPCI-S

会议时间:JUN 04-05, 2016

会议名称:6th International Symposium on Unifying Theories of Programming (UTP)

资源类型:外文会议论文

TOP