The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jifeng He: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jifeng He, Zhiming Liu, Xiaoshan Li
    Towards a Refinement Calculus for Object Systems. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2002, pp:69-76 [Conf]
  2. Jifeng He
    Linking Theories in Probabilistic Programming. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1997, pp:247-256 [Conf]
  3. Jifeng He, C. A. R. Hoare
    Unifying theories of programming. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1998, pp:97-99 [Conf]
  4. Shengchao Qin, Zongyan Qiu, Jifeng He
    Constructing Hardware/Software Interface Using Protocol Converters. [Citation Graph (0, 0)][DBLP]
    APAQS, 2001, pp:141-148 [Conf]
  5. Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin
    A Relational Model for Object-Oriented Designs. [Citation Graph (0, 0)][DBLP]
    APLAS, 2004, pp:415-436 [Conf]
  6. Jifeng He, C. A. R. Hoare
    Unifying theories of healthiness condition. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:70-0 [Conf]
  7. Shengchao Qin, Jifeng He
    Partitioning Program into Hardware and Software. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:309-316 [Conf]
  8. Van Dung Tran, Jifeng He
    A Theory of Combinational Programs. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:325-0 [Conf]
  9. 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]
  10. Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li
    Linking UML Models of Design and Requirement. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2004, pp:329-338 [Conf]
  11. Xiaoshan Li, Zhiming Liu, Jifeng He
    A Formal Semantics of UML Sequence Diagram. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2004, pp:168-177 [Conf]
  12. Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He
    Consistent Code Generation from UML Models. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2005, pp:23-30 [Conf]
  13. Jifeng He
    Linking Theories of Concurrency. [Citation Graph (0, 0)][DBLP]
    25 Years Communicating Sequential Processes, 2004, pp:61-74 [Conf]
  14. 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]
  15. Jifeng He, Ian Page, Jonathan P. Bowen
    Towards a Provably Correct Hardware Implementation of Occam. [Citation Graph (0, 0)][DBLP]
    CHARME, 1993, pp:214-225 [Conf]
  16. Xiaoshan Li, Zhiming Liu, Jifeng He
    Formal and Use-Case Driven Requirement Analysis in UML. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:215-224 [Conf]
  17. Geguang Pu, Jifeng He, Zongyan Qiu
    An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. [Citation Graph (0, 0)][DBLP]
    DDECS, 2006, pp:151-152 [Conf]
  18. C. A. R. Hoare, Jifeng He
    A Trace Model for Pointers and Objects. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1999, pp:1-17 [Conf]
  19. Jifeng He, C. A. R. Hoare, Jeff W. Sanders
    Data Refinement Refined. [Citation Graph (0, 0)][DBLP]
    ESOP, 1986, pp:187-196 [Conf]
  20. Jifeng He, Quentin Miller, Lei Chen
    Algebraic Laws for BSP Programming. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. II, 1996, pp:359-368 [Conf]
  21. C. A. R. Hoare, Jifeng He
    Unifying Theories for Parallel Programming. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:15-30 [Conf]
  22. Jifeng He
    A Behavioral Model for Co-design. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1420-1438 [Conf]
  23. Zhiming Liu, Jifeng He, Xiaoshan Li
    rCOS: Refinement of Component and Object Systems. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:183-221 [Conf]
  24. 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]
  25. Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel
    Provably Correct Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:288-335 [Conf]
  26. Jifeng He, Zheng Jianping
    Simulation Approach to Provably Correct Hardware Compilation. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:336-350 [Conf]
  27. Jifeng He
    Linking Theories of Concurrency by Retraction. [Citation Graph (0, 0)][DBLP]
    ICDCIT, 2005, pp:432- [Conf]
  28. Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long
    Generating a Prototype from a UML Model of System Requirements. [Citation Graph (0, 0)][DBLP]
    ICDCIT, 2004, pp:255-265 [Conf]
  29. Jifeng He
    Integrating CSP and DC. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2002, pp:47-0 [Conf]
  30. Xiaoshan Li, Zhiming Liu, Jifeng He
    Consistency Checking of UML Requirements. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:411-420 [Conf]
  31. Jonathan P. Bowen, Jifeng He, Qiwen Xu
    An Animatable Operational Semantics of the Verilog Hardware Description Language. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:199-208 [Conf]
  32. Jifeng He, Carroll Morgan, Annabelle McIver
    Deriving Probabilistic Semantics Via the 'Weakest Completion'. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:131-145 [Conf]
  33. 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]
  34. 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]
  35. Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen
    A Relational Model for Formal Object-Oriented Requirement Analysis in UML. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:641-664 [Conf]
  36. Zhiming Liu, Xiaoshan Li, Jifeng He
    Using Transition Systems to Unify UML Models. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:535-547 [Conf]
  37. Adnan Sherif, Jifeng He
    Towards a Time Model for Circus. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:613-624 [Conf]
  38. Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang
    Hardware/Software Partitioning in Verilog. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:168-179 [Conf]
  39. Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio
    A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:478-493 [Conf]
  40. Jifeng He, C. A. R. Hoare
    Linking Theories of Concurrency. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:303-317 [Conf]
  41. Jifeng He, Xiaoshan Li, Zhiming Liu
    Component-Based Software Engineering. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:70-95 [Conf]
  42. Jifeng He, Naiyong Jin
    Integrating Variants of DC. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:14-34 [Conf]
  43. Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He
    POST: A Case Study for an Incremental Development in rCOS. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:485-500 [Conf]
  44. Zhiming Liu, Jifeng He, Xiaoshan Li
    Contract Oriented Development of Component Software. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:349-366 [Conf]
  45. Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi
    An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:363-381 [Conf]
  46. Jifeng He
    A Common Framework for Mixed Hardware/Software Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:3-25 [Conf]
  47. Li Yongjian, Jifeng He
    Towards a Theory of Bisimulation for a Fragment of Verilog. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:239- [Conf]
  48. Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He
    A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. [Citation Graph (0, 0)][DBLP]
    KES (1), 2006, pp:459-466 [Conf]
  49. Jifeng He
    Hybrid Parallel Programming and Implementation of Synchronised Communication. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:537-546 [Conf]
  50. David Scholefield, Hussein S. M. Zedan, Jifeng He
    Real-Time Refinement: Semantics and Application. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:693-702 [Conf]
  51. David Scholefield, Hussein S. M. Zedan, Jifeng He
    A Predicative Semantics for the Refinement of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    MFPS, 1993, pp:230-249 [Conf]
  52. Jifeng He, C. A. R. Hoare
    Categorical Semantics for Programming Languages. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:402-417 [Conf]
  53. Jifeng He, Qiwen Xu
    An Operational Semantics of a Simulator Algorithm. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
  54. Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya
    An Approach to Verifiable Compiling Specification and Prototyping. [Citation Graph (0, 0)][DBLP]
    PLILP, 1990, pp:45-59 [Conf]
  55. Jifeng He
    Various Simulations and Refinements. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:340-360 [Conf]
  56. Li Li, Jifeng He
    A Denotational Semantics of Timed RSL Using Duration Calculus. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1999, pp:492-0 [Conf]
  57. Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi
    An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:376-385 [Conf]
  58. Naiyong Jin, Jifeng He
    Towards A Truly Concurrent Model for Processes Sharing Resources. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:231-239 [Conf]
  59. Naiyong Jin, Jifeng He
    Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:132-141 [Conf]
  60. Jifeng He
    An Algebraic Approach to the VERILOG Programming. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:65-80 [Conf]
  61. Jifeng He, C. A. R. Hoare
    CSP Is a Retract of CCS. [Citation Graph (0, 0)][DBLP]
    UTP, 2006, pp:38-62 [Conf]
  62. Jifeng He, Shengchao Qin, Adnan Sherif
    Constructing Property-Oriented Models for Verification. [Citation Graph (0, 0)][DBLP]
    UTP, 2006, pp:85-100 [Conf]
  63. Jifeng He, Jeff W. Sanders
    Unifying Probability. [Citation Graph (0, 0)][DBLP]
    UTP, 2006, pp:173-199 [Conf]
  64. 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]
  65. 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]
  66. Jifeng He
    General Predicate Transformer and the Semantics of a Programming Language With Go To Statement. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1983, v:20, n:, pp:35-57 [Journal]
  67. C. A. R. Hoare, Jifeng He, Augusto Sampaio
    Normal Form Approach to Compiler Design. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1993, v:30, n:8, pp:701-739 [Journal]
  68. C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin
    Laws of Programming. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1987, v:30, n:8, pp:672-686 [Journal]
  69. Jifeng He, C. A. R. Hoare
    Algebraic Specification and Proof of a Distributed Recovery Algorithm. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1987, v:2, n:1, pp:1-12 [Journal]
  70. Zhiming Liu, Jifeng He, Xiaoshan Li
    Towards a Rigorous Approach to UML-Based Development. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:57-77 [Journal]
  71. Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li
    Unifying Views of UML. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:101, n:, pp:95-127 [Journal]
  72. Geguang Pu, Zongyan Qiu, Jifeng He
    Integrating Time and Resource into Circus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:401-418 [Journal]
  73. Jifeng He, Xiaoshan Li, Zhiming Liu
    A Theory of Reactive Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:173-195 [Journal]
  74. Jifeng He
    Process Simulation and Refinement. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1989, v:1, n:3, pp:229-241 [Journal]
  75. Jifeng He, Qiwen Xu
    Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:1, pp:84-99 [Journal]
  76. Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi
    Exploring optimal solution to hardware/software partitioning for synchronous model. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2005, v:17, n:4, pp:443-460 [Journal]
  77. Jifeng He, Jonathan P. Bowen
    Specification, Verification and Prototyping of an Optimized Compiler. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:6, pp:643-658 [Journal]
  78. Qiwen Xu, Willem P. de Roever, Jifeng He
    The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1997, v:9, n:2, pp:149-174 [Journal]
  79. C. A. R. Hoare, Jifeng He
    The Weakest Prespecification. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1987, v:24, n:2, pp:127-132 [Journal]
  80. C. A. R. Hoare, Jifeng He, Jeff W. Sanders
    Prespecification in Data Refinement. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1987, v:25, n:2, pp:71-76 [Journal]
  81. Jifeng He, C. A. R. Hoare
    From Algebra to Operational Semantics. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1993, v:45, n:2, pp:75-80 [Journal]
  82. Jifeng He, C. A. R. Hoare
    Linking Theories in Probabilistic Programming. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1999, v:119, n:3-4, pp:205-218 [Journal]
  83. Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang
    An Algebraic Hardware/Software Partitioning Algorithm. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2002, v:17, n:3, pp:284-294 [Journal]
  84. C. E. Martin, C. A. R. Hoare, Jifeng He
    Pre-Adjunctions in Order Enriched Categories. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1991, v:1, n:2, pp:141-158 [Journal]
  85. Jifeng He, Karen Seidel, Annabelle McIver
    Probabilistic Models for the Guarded Command Language. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:28, n:2-3, pp:171-192 [Journal]
  86. Jifeng He, Xiaoshan Li, Zhiming Liu
    rCOS: A refinement calculus of object systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:365, n:1-2, pp:109-142 [Journal]
  87. David Scholefield, Hussein S. M. Zedan, Jifeng He
    A Specification-Oriented Semantics for the Refinement of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:131, n:1, pp:219-241 [Journal]
  88. Jonathan P. Bowen, Jifeng He
    An Approach to the Specification and Verification of a Hardware Compilation Scheme. [Citation Graph (0, 0)][DBLP]
    The Journal of Supercomputing, 2001, v:19, n:1, pp:23-39 [Journal]
  89. Jifeng He
    Compensable Programs. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:349-363 [Conf]
  90. Jing Liu, Jifeng He
    Reactive Component based Service-Oriented Design - A Case Study. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:27-36 [Conf]
  91. Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi
    Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:131-138 [Conf]
  92. 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]
  93. 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]
  94. Jing Li, Huibiao Zhu, Jifeng He
    Algebraic Semantics for Compensable Transactions. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:306-321 [Conf]
  95. He Jifeng
    Linking Semantic Models. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:18-33 [Conf]
  96. He Jifeng
    UTP Semantics for Web Services. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:353-372 [Conf]
  97. Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
    A Model of Component-Based Programming. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:191-206 [Conf]
  98. Bernhard K. Aichernig, Jifeng He
    Refinement and Test Case Generation in UTP. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:125-143 [Journal]

  99. Transaction Calculus. [Citation Graph (, )][DBLP]


  100. The Validation and Verification of WSCDL. [Citation Graph (, )][DBLP]


  101. Service Refinement. [Citation Graph (, )][DBLP]


  102. Execution Semantics for rCOS. [Citation Graph (, )][DBLP]


  103. A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. [Citation Graph (, )][DBLP]


  104. Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. [Citation Graph (, )][DBLP]


  105. A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. [Citation Graph (, )][DBLP]


  106. Algebraic derivation of an operational semantics. [Citation Graph (, )][DBLP]


  107. Specifying and Verifying Web Transactions. [Citation Graph (, )][DBLP]


  108. Transaction Calculus. [Citation Graph (, )][DBLP]


  109. Towards the Service Composition Through Buses. [Citation Graph (, )][DBLP]


  110. Unifying Denotational Semantics with Operational Semantics for Web Services. [Citation Graph (, )][DBLP]


  111. A Denotational Model for Web Services Choreography. [Citation Graph (, )][DBLP]


  112. Refinement and test case generation in Unifying Theory of Programming. [Citation Graph (, )][DBLP]


  113. An Observational Model for Transactional Calculus of Services Orchestration. [Citation Graph (, )][DBLP]


  114. A Denotational Semantical Model for Orc Language. [Citation Graph (, )][DBLP]


  115. Modelling Coordination and Compensation. [Citation Graph (, )][DBLP]


  116. Patterns with Algebraic Properties in BPEL0. [Citation Graph (, )][DBLP]


  117. Algebraic Approach to Linking the Semantics of Web Services. [Citation Graph (, )][DBLP]


  118. Transaction Calculus - (Invited Paper). [Citation Graph (, )][DBLP]


  119. Denotational Approach to an Event-Driven System-Level Language. [Citation Graph (, )][DBLP]


  120. Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. [Citation Graph (, )][DBLP]


  121. An Inconsistency Free Formalization of B/S Architecture. [Citation Graph (, )][DBLP]


  122. An Operational Approach to BPEL-like Programming. [Citation Graph (, )][DBLP]


  123. Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. [Citation Graph (, )][DBLP]


  124. Modeling and Verifying Web Services Choreography Using Process Algebra. [Citation Graph (, )][DBLP]


  125. Looking into Compensable Transactions. [Citation Graph (, )][DBLP]


  126. Integrating Theories and Techniques for Program Modelling, Design and Verification. [Citation Graph (, )][DBLP]


Search in 0.190secs, Finished in 0.198secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002