A Characterization of Regular Expressions under Bisimulation

View PDF

Download Links

by J. C. M. Baeten , F. Corradini , C. A. Grabmayer
Citations:4 - 1 self