Verifying Trace Equivalence of a Shared-Memory-Style Communication System Authors Yoshinobu KAWABE Ken MANO Downloads Requires Subscription PDF Published 2005-04-01 Issue Vol. E88-A, No. 4 April 2005 Section Papers
