你即將離開本站

並前往https://arxiv.org/abs/1311.3396

[1311.3396] When Equivalence and Bisimulation Join Forces ...

Bisimulations have been proposed for Segala's automata to characterize the equivalence between them. So far the two notions of equivalences and their ...

確定！ 回上一頁

查詢 「Equivalence」的人也找了：

  1. equivalence中文
    2.
  2. Equivalent
    3.
  3. equivalence relation中文
    4.
  4. equivalence point中文
    5.
  5. Equivalence relation
    6.
  6. Equivalence class
    7.
  7. equivalence class中文
    8.
  8. Equivalency
    9.