Decidability of bisimulation equivalence for process generating context-free languages.

Details

Language :

English

ISSN :

00045411

Volume :

40

Issue :

3

Database :

Complementary Index

Journal :

Journal of the ACM

Publication Type :

Academic Journal

Accession number :

73537684

Full Text :

https://doi.org/10.1145/174130.174141