مرکز منطقه ای اطلاع رساني علوم و فناوري - Simple proof techniques for property preservation via simulation

Title of article :

Simple proof techniques for property preservation via simulation

Author/Authors :

Ching-Tsun Chou، نويسنده ,

Issue Information :

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

Pages :

From page :

129

To page :

134

Keywords :

Programming calculi , concurrency , Infinitary logics

Journal title :

Information Processing Letters

Serial Year :

1996

Journal title :

Information Processing Letters

Record number :

128577

Link To Document :