Search the dblp DataBase

Publications of Author

1. Huibiao Zhu, Jonathan P. Bowen, Jifeng He
   Deriving Operational Semantics from Denotational Semantics for Verilog. [Citation Graph (0, 0)][DBLP]
   APSEC, 2001, pp:177-0 [Conf]
   
2. Huibiao Zhu, Jonathan P. Bowen, Jifeng He
   From Operational Semantics to Denotational Semantics for Verilog. [Citation Graph (0, 0)][DBLP]
   CHARME, 2001, pp:449-466 [Conf]
   
3. Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He
   Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2006, pp:251-266 [Conf]
   
4. Huibiao Zhu, Jonathan P. Bowen, Jifeng He
   Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2002, pp:600-612 [Conf]
   
5. Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu
   Towards the Semantics for Web Service Choreography Description Language. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2006, pp:246-263 [Conf]
   
6. Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen
   Integrating Probability with Time and Shared-Variable Concurrency. [Citation Graph (0, 0)][DBLP]
   SEW, 2006, pp:179-189 [Conf]
   
7. Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin
   An Operational Semantics of an Event-Driven System-Level Simulator. [Citation Graph (0, 0)][DBLP]
   SEW, 2006, pp:190-202 [Conf]
   
8. Huibiao Zhu, Jifeng He, Jonathan P. Bowen
   From Algebraic Semantics to Denotational Semantics for Verilog. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2006, pp:139-151 [Conf]
   
9. Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He
   A Formal Model for Compensable Transactions. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2007, pp:64-73 [Conf]
   
10. Jing Li, Huibiao Zhu, Jifeng He
    Algebraic Semantics for Compensable Transactions. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:306-321 [Conf]
    
11. Jing Li, Huibiao Zhu, Geguang Pu
    Conformance Validation between Choreography and Orchestration. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:473-482 [Conf]
    
12. 
    Execution Semantics for rCOS. [Citation Graph (, )][DBLP]
    
    
13. 
    A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. [Citation Graph (, )][DBLP]
    
    
14. 
    Tool Support for BPEL Verification in ActiveBPEL Engine. [Citation Graph (, )][DBLP]
    
    
15. 
    Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. [Citation Graph (, )][DBLP]
    
    
16. 
    A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. [Citation Graph (, )][DBLP]
    
    
17. 
    Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. [Citation Graph (, )][DBLP]
    
    
18. 
    Formalizing MapReduce with CSP. [Citation Graph (, )][DBLP]
    
    
19. 
    Specifying and Verifying Web Transactions. [Citation Graph (, )][DBLP]
    
    
20. 
    Towards the Service Composition Through Buses. [Citation Graph (, )][DBLP]
    
    
21. 
    Unifying Denotational Semantics with Operational Semantics for Web Services. [Citation Graph (, )][DBLP]
    
    
22. 
    A Denotational Model for Web Services Choreography. [Citation Graph (, )][DBLP]
    
    
23. 
    Formal Approaches to Location Management in Mobile Communications. [Citation Graph (, )][DBLP]
    
    
24. 
    An Observational Model for Transactional Calculus of Services Orchestration. [Citation Graph (, )][DBLP]
    
    
25. 
    A Denotational Semantical Model for Orc Language. [Citation Graph (, )][DBLP]
    
    
26. 
    ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. [Citation Graph (, )][DBLP]
    
    
27. 
    Patterns with Algebraic Properties in BPEL0. [Citation Graph (, )][DBLP]
    
    
28. 
    Algebraic Approach to Linking the Semantics of Web Services. [Citation Graph (, )][DBLP]
    
    
29. 
    Denotational Approach to an Event-Driven System-Level Language. [Citation Graph (, )][DBLP]
    
    
30. 
    Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. [Citation Graph (, )][DBLP]
    
    
31. 
    An Inconsistency Free Formalization of B/S Architecture. [Citation Graph (, )][DBLP]
    
    
32. 
    An Operational Approach to BPEL-like Programming. [Citation Graph (, )][DBLP]
    
    
33. 
    Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. [Citation Graph (, )][DBLP]
    
    
34. 
    Modeling and Verifying Web Services Choreography Using Process Algebra. [Citation Graph (, )][DBLP]
    
    
35. 
    Looking into Compensable Transactions. [Citation Graph (, )][DBLP]
    
    
36. 
    Modeling MapReduce with CSP. [Citation Graph (, )][DBLP]
    
    
37. 
    Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. [Citation Graph (, )][DBLP]
    
    
38. 
    Formal Modeling and Analyzing Kerberos Protocol. [Citation Graph (, )][DBLP]