看不清,换一个
记住密码
无法访问您的账户?
确定
该学科分类下暂无学术成果
【期刊论文】Verification of WS-CDL Choreography
裘宗燕
【期刊论文】A Type System for the Relational Calculus of Object Systems
【期刊论文】Theoretical Foundation of Scope-based Compensable Flow Language for Web Service
【期刊论文】Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
【期刊论文】Towards the Formal Model and Verification of Web Service Choreography Description Language
【期刊论文】Type Checking Choreography Description Language
【期刊论文】Towards the Theoretical Foundation of Choreography
【期刊论文】两维时间域上的实时程序语义
【期刊论文】Using UML for Specification and Refinement of Software Architectures
【期刊论文】Semantics of BPEL4WS-like fault and compensation handling
【期刊论文】POST: A Case Study for an Incremental Development in rCOS
【期刊论文】两维时间域上的一种区间逻辑
【期刊论文】Integrating Time and Resource into Circus
【期刊论文】Towards the semantics and verification of BPEL4WS
【期刊论文】A Combination of Interval Logic and Linear Temporal Logic
【期刊论文】A Formal Model for Web Service Choreography Description Language (WS-CDL)
【期刊论文】Exploring into the Essence of Choreography
生成主页
您搜索的内容暂无专辑!
中华人民共和国教育部 教育部科技发展中心 中国教育与科研计算机网 教育部学位与研究生教育发展中心 国家留学基金委
中国学术会议在线 中国教育人力资源系统 中国教育新闻网 神州学人 中国教育在线