按条件检索“9”条记录

已选条件: 来源数据库: CPCI-S ×
导出
  • 排序
  • 显示
1. Denotational Approach to an Event-Driven System-Level Language SCIE CPCI-S

作者:Zhu, HB;He, JF;Peng, XQ;Jin, NY

通讯作者地址:Zhu, HBA (reprint author), E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, 3663 Zhongshan Rd N, Shanghai 200062, Peoples R China.;Zhu, HBA (reprint author), E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, 3663 Zhongshan Rd N, Shanghai 200062, Peoples R China.;Zhu, HB (reprint author), E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, 3663 Zhongshan Rd N, Shanghai 200062, Peoples R China.

作者机构:[Zhu, Huibiao; He, Jifeng; Peng, Xiaoqing; Jin, Naiyong] E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, 更多

来源:UNIFYING THEORIES OF PROGRAMMING,2010,Vol.5713,258-278

收录类别:SCIE;CPCI-S

会议时间:SEP 08-10, 2008

会议名称:2nd International Symposium on Unifying Theories of Programming

WOS被引:2

资源类型:外文会议论文

2. Transaction Calculus (Invited Paper) SCIE CPCI-S

作者:He, JF

通讯作者地址:He, JF (reprint author), E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[He, JF]E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

来源:UNIFYING THEORIES OF PROGRAMMING,2010,Vol.5713,2-21

收录类别:SCIE;CPCI-S

会议时间:SEP 08-10, 2008

会议名称:2nd International Symposium on Unifying Theories of Programming

资源类型:外文会议论文

3. Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language SCIE CPCI-S

作者:Zhu, HBA;Yang, F;He, JF

通讯作者地址:Zhu, HBA (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Inst Software Engn, 3663 Zhongshan Rd N, Shanghai 200062, Peoples R China.;Zhu, HBA (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Inst Software Engn, 3663 Zhongshan Rd N, Shanghai 200062, Peoples R China.;Zhu, HB (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Inst Software Engn, 3663 Zhongshan Rd N, Shanghai 200062, Peoples R China.

作者机构:[Zhu, Huibiao; Yang, Fan; He, Jifeng] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Inst Software Engn, Shanghai 200062, Peoples R China.

来源:UNIFYING THEORIES OF PROGRAMMING,2010,Vol.6445,286-308

收录类别:SCIE;CPCI-S

会议时间:NOV 15-16, 2010

会议名称:3rd International Symposium on Unifying Theories of Programming

WOS被引:5

资源类型:外文会议论文

4. Towards a Pomset Semantics for a Shared-Variable Parallel Language CPCI-S

作者:Zhao, YX;Wang, X;Zhu, HBA

通讯作者地址:Zhao, YX (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

作者机构:[Zhao, Yongxin; Zhu, Huibiao] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

来源:UNIFYING THEORIES OF PROGRAMMING,2010,Vol.6445,271-285

收录类别:CPCI-S

会议时间:NOV 15-16, 2010

会议名称:3rd International Symposium on Unifying Theories of Programming

资源类型:外文会议论文

5. Promoting Models SCIE CPCI-S

作者:Li, Q;Zhao, YX;Wu, XF;Liu, S

通讯作者地址:Li, Q (reprint author), E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

作者机构:[Li, Qin; Zhao, Yongxin; Wu, Xiaofeng; Liu, Si] E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

来源:UNIFYING THEORIES OF PROGRAMMING,2010,Vol.6445,234-252

收录类别:SCIE;CPCI-S

会议时间:NOV 15-16, 2010

会议名称:3rd International Symposium on Unifying Theories of Programming

资源类型:外文会议论文

6. A Probabilistic BPEL-Like Language CPCI-S

作者:He, JF

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

作者机构:[He, JF]E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

来源:UNIFYING THEORIES OF PROGRAMMING,2010,Vol.6445,74-100

收录类别:CPCI-S

会议时间:NOV 15-16, 2010

会议名称:3rd International Symposium on Unifying Theories of Programming

WOS被引:3

资源类型:外文会议论文

7. Unifying probability SCIE CPCI-S

作者:He, JF;Sanders, JW

通讯作者地址:He, JF (reprint author), E China Normal Univ, Shanghai, Peoples R China.

作者机构:[He, JF; Sanders, JW]E China Normal Univ, Shanghai, Peoples R China.;[He, JF; Sanders, JW] Programming Res Grp, Oxford, England.

来源:UNIFYING THEORIES OF PROGRAMMING,2006,Vol.4010,173-199

收录类别:SCIE;CPCI-S

会议时间:FEB 05-07, 2006

会议名称:1st International Symposium on Unifying Theories of Programming

WOS被引:7

资源类型:外文会议论文

8. Constructing property-oriented models for verification SCIE CPCI-S

作者:He, JF;Qin, SC;Sherif, A

通讯作者地址:Qin, SC (reprint author), Univ Durham, Dept Comp Sci, Durham DH1 3HP, England.

作者机构:[He, JF; Qin, SC; Sherif, A]Univ Durham, Dept Comp Sci, Durham DH1 3HP, England.;[He, JF; Qin, SC; Sherif, A] E China Normal Univ, Software 更多

来源:UNIFYING THEORIES OF PROGRAMMING,2006,Vol.4010,85-100

收录类别:SCIE;CPCI-S

会议时间:FEB 05-07, 2006

会议名称:1st International Symposium on Unifying Theories of Programming

WOS被引:1

资源类型:外文会议论文

9. CSP is a retract of CCS SCIE CPCI-S

作者:He, JF;Hoare, T

通讯作者地址:He, JF (reprint author), E China Normal Univ, Software Engn Inst, Shanghai, Peoples R China.

作者机构:[He, JF; Hoare, T]E China Normal Univ, Software Engn Inst, Shanghai, Peoples R China.;[He, JF; Hoare, T] Microsoft Res Cambridge, Cambridge, MA 更多

来源:UNIFYING THEORIES OF PROGRAMMING,2006,Vol.4010,38-62

收录类别:SCIE;CPCI-S

会议时间:FEB 05-07, 2006

会议名称:1st International Symposium on Unifying Theories of Programming

WOS被引:2

资源类型:外文会议论文

TOP