Bisimulation of automata☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
A preliminary version of this work was presented at the IEEE Symposium on Logic in Computer Science, June 16–18, 1986. Research supported in part by National Science Foundation grant DCR-8402305.
Copyright © 1988 Published by Elsevier Inc.