A Characterization of Regular Expressions under Bisimulation

by J. C. M. Baeten , F. Corradini , C. A. Grabmayer
Citations:6 - 2 self