Artículo:

On the Power of Bounded Concurrency ll: Pushdown Automata

Autor:

T. Hirst

D. Harel

Página:

540

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

41

Número:

3

Periodo:

Mayo 1994

ISSN:

00045411

SrcID:

00045411-1994-03.txt