Abstract
In this paper, we focus on two-thirds bisimulation and the main aim is to describing the convergence mechanism of implementation under two-thirds bisimulation. Two-thirds limit bisimulation and two-thirds bisimulation limit are proposed which characterize the relation between implementation and its specification. The key theorem is Theorem 2 which states that the pre-congruence property of two-thirds bisimulation limit under various combinators of processes. 1548-7741/
| Original language | English |
|---|---|
| Pages (from-to) | 2875-2884 |
| Number of pages | 10 |
| Journal | Journal of Information and Computational Science |
| Volume | 8 |
| Issue number | 13 |
| State | Published - Dec 2011 |
Keywords
- Convergence
- Implementation of software
- Limit