Bard Bloom
Bard Bloom, Sorin Istrail, and Albert R. Meyer.
Bisimulation can't be traced.
Journal of the ACM
, 42(1):232-268, January 1995.
Abstract, References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database