Now showing items 1-1 of 1

    • Bisimulation Can't Be Traced 

      Bloom, Bard; Istrail, Sorin; Meyer, Albert (Cornell University, 1990-08)
      In the concurrent languages CCS, two programs are considered the same if they are bisimilar. Several years and many researchers have demonstrated that the theory of bisimulation is mathematically appealing and useful in ...