位置：成果数据库 > 会议 > 会议详情页
Formal Modeling and Verifications of Deadlock Prevention Solutions in Service Oriented System
  • 所属机构名称：华东师范大学
  • 会议名称：In Proc. ECBS 2010: 17th IEEE International Conference and Workshops on Engineering of Computer-Base
  • 成果类型：会议
  • 会场：Oxford
  • 相关项目：Web事务的模型和语义研究
作者： Zhu Huibiao|Zhu Han|Ding Jieqi|Li Qin|
同会议论文项目
Web事务的模型和语义研究
期刊论文 7 会议论文 23
同项目会议论文
Property Checking for Design Patterns
Animating the Link between Operational Semantics and Algebraic Semantics for a Timed Probabilistic S
Promoting Models
A Probabilistic BPEL-like Language
A Denotational Semantical Model for Orc Language
Towards the Service Composition Through Buses
An Observational Model for Transactional Calculus of Services Orchestration
Denotational Approach to an Event-driven System-level Language
Specifying and Verifying Web Transactions
Transaction Calculus
Formalizing MapReduce with CSP
A Formal Perspective for Service Coordination Framework in Service Oriented Architecture
Locality-based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an
Modeling MapReduce with CSP
Formalizing Kerberos Protocol with CSP Methods
Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources
Probabilistic Model of System Survivability
Formal Approaches to Location Management in Mobile Communications
Towards Specification and Refinement of Contracts with Environment Changes
Towards a Pomset Semantics for a Shared-Variable Parallel Language
Probabilistic Programming with Coordination
Generating Denotational Semantics from Algebraic Semantics for Event-driven System-level Language.