Decidability of bisimulation equivalence for processes generating context-free languages

Onderzoeksoutput: Boek/rapport › Rapport › Academic

104 Downloads (Pure)

Originele taal-2	Engels
Plaats van productie	Amsterdam
Uitgeverij	Centrum voor Wiskunde en Informatica
Aantal pagina's	32
Status	Gepubliceerd - 1986

Toegang tot document

TY - BOOK

T1 - Decidability of bisimulation equivalence for processes generating context-free languages

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

AU - Klop, J.W.

PY - 1986

Y1 - 1986

M3 - Report

T3 - CWI report. CS-R

BT - Decidability of bisimulation equivalence for processes generating context-free languages

PB - Centrum voor Wiskunde en Informatica

CY - Amsterdam

ER -