Bisimulation Can't Be Traced


In the concurrent language CCS, two programs are considered the same if they are <italic>bisimilar</italic>. Several years and many researchers have demonstrated that the theory of bisimulation is mathematically appealing and useful in practice. However, bisimulation makes too many distinctions between programs. We consider the problem of adding operations… (More)
DOI: 10.1145/200836.200876


4 Figures and Tables