Title of article
Bisimulation Equivalence Is Decidable for All Context-Free Processes
Author/Authors
Christensen S.، نويسنده , , Huttel H.، نويسنده , , Stirling C.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1195
Pages
6
From page
143
To page
148
Journal title
Information and Computation
Serial Year
1195
Journal title
Information and Computation
Record number
261574
Link To Document