Title of article :
A Structural Induction Theorem for Processes
Author/Authors :
Kurshan R. P.، نويسنده , , Mcmillan K. L.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1195
Journal title :
Information and Computation
Journal title :
Information and Computation