Searching for "Bisimulation Can't be Traced." – sorted by Relevance.
-
Bisimulation can't be traced: preliminary report
- Bisimulation Can’t Be Traced: Preliminary Report Bard Bloom* Sorin Istrail MIT Lab. for Computer
- Cited by 47 (6 self) – Add To MetaCart
-
Bibliography
- .R. Meyer. Bisimulation can't be traced: preliminary report. In Proc. Third IEEE Symp. on Logic In Computer
- Add To MetaCart

