Title of article

Simple proof techniques for property preservation via simulation

Author/Authors

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

Issue Information

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

Pages

6

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