مرکز منطقه ای اطلاع رساني علوم و فناوري - Propositional dynamic logic of context-free programs and fixpoint logic with chop

Title of article :

Propositional dynamic logic of context-free programs and fixpoint logic with chop

Author/Authors :

Martin Lange، نويسنده , , Rafa? Somla، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2006

Pages :

From page :

To page :

Keywords :

program specification , formal languages , Concurrency

Journal title :

Information Processing Letters

Serial Year :

2006

Journal title :

Information Processing Letters

Record number :

159121

Link To Document :