Title of article

Procedures and atomicity refinement

Author/Authors

K. Sere، نويسنده ,

Issue Information

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

Pages

8

From page

67

To page

74

Keywords

Program derivation , Distributed Systems , Program specification

Journal title

Information Processing Letters

Serial Year

1996

Journal title

Information Processing Letters

Record number

128568