Artículo:

A characterization of regular expressions under bisimulation

Autor:

J. C. M. Baeten

F. Corradini

C. A. Grabmayer

Página:

1

Publicación:

Journal of the ACM

Volúmen:

54

Número:

2

Periodo:

Abril 2007

ISSN:

00045411

SrcID:

00045411-2007-02.txt