Title of article
Deciding Branching Bisimilarity of Normed Context-Free Processes Is in Σp2
Author/Authors
Caucal D.، نويسنده , , Huynh D. T.، نويسنده , , Tian L.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1195
Pages
10
From page
306
To page
315
Journal title
Information and Computation
Serial Year
1195
Journal title
Information and Computation
Record number
333709
Link To Document