We use cookies to improve your experience with our site.
Yan-Fang Ma, Min Zhang. The Infinite Evolution Mechanism of ε-Bisimilarity[J]. Journal of Computer Science and Technology, 2013, 28(6): 1097-1105. DOI: 10.1007/s11390-013-1400-y
Citation: Yan-Fang Ma, Min Zhang. The Infinite Evolution Mechanism of ε-Bisimilarity[J]. Journal of Computer Science and Technology, 2013, 28(6): 1097-1105. DOI: 10.1007/s11390-013-1400-y

The Infinite Evolution Mechanism of ε-Bisimilarity

  • In this paper, we focus on the convergence mechanism of ε-bisimulation under probabilistic processes to discuss the dynamic correctness of the software. Firstly, ε-limit bisimulation is defined for reflecting the dynamic relation between software specification and implementation. Some special ε-limit bisimulations are showed. Secondly, ε-bisimulation limit is proposed, which states the specification is the limit of implementation under ε-bisimulation. The uniqueness of ε-bisimulation limit and consistence with ε-bisimulation are presented. Finally, the substitutivity laws of ε-bisimulation limit with various combinators are proved.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return