An Operational Approach to BPEL-like Programming
暂无分享,去创建一个
Jing Li | Jifeng He | Geguang Pu | Huibiao Zhu | G. Pu | Jifeng He | Jing Li | Huibiao Zhu | J. He
[1] C. A. R. Hoare,et al. Laws of programming , 1987, CACM.
[2] Michael J. Butler,et al. Precise Modelling of Compensating Business Transactions and its Application to BPEL , 2005, J. Univers. Comput. Sci..
[3] Jifeng He,et al. A model for BPEL-like languages , 2007, Frontiers of Computer Science in China.
[4] Huibiao Zhu,et al. Linking the semantics of a multithreaded discrete event simulation language , 2005 .
[5] Jifeng He,et al. An animatable operational semantics of the Verilog hardware description language , 2000, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.
[6] Michael J. Butler,et al. An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions , 2004, COORDINATION.
[7] Geguang Pu,et al. Towards the Semantics and Verification of BPEL4WS , 2006, WLFM@FM.
[8] Gustavo Alonso,et al. Web Services: Concepts, Architectures and Applications , 2009 .
[9] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[10] C. A. R. Hoare,et al. The Laws of Occam Programming , 1988, Theor. Comput. Sci..
[11] Jifeng He. Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers , 1994 .
[12] Jonathan P. Bowen. Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language , 2000, IFM.
[13] Jifeng He,et al. From Operational Semantics to Denotational Semantics for Verilog , 2001, CHARME.
[14] Ieee Standards Board. IEEE Standard hardware Description language : based on the Verilog hardware description language , 1996 .
[15] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[16] Jifeng He,et al. Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics , 2002, ICFEM.
[17] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .
[18] Geguang Pu,et al. Semantics of BPEL4WS-Like Fault and Compensation Handling , 2005, FM.
[19] Jean-Raymond Abrial,et al. The B-book - assigning programs to meanings , 1996 .
[20] Nathaniel S. Borenstein,et al. IBM ® , 2009 .
[21] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[22] Jifeng He,et al. Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service , 2006, FMOODS.
[23] Jifeng He,et al. A Denotational Approach to Scope-Based Compensable Flow Language for Web Service , 2006, ASIAN.