A Modal Characterization of λ-Bisimilarity
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    In order to describe approximate equivalence among processes, a notion of λ-bisimilarity has been introduced in the field of process algebra. In this paper, we provide a modal characterization of λ- bisimilarity without the assumption that the metric is an ultra-metric or λ = 0, which is a generalization of one obtained by [M. Ying, Theoret. Comput.Sci., Vol. 275, 1{68].

    Reference
    Related
    Cited by
Get Citation

Jinjin Zhang, Zhaohui Zhu. A Modal Characterization of λ-Bisimilarity. International Journal of Software and Informatics, 2007,1(1):85~99

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:September 25,2007
  • Revised:December 08,2007
  • Adopted:
  • Online:
  • Published: