Title of article

Sequential calculus

Author/Authors

Burghard von Karger، نويسنده , , C. A. R. Hoare، نويسنده ,

Issue Information

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

Pages

8

From page

123

To page

130

Keywords

Programming calculi , Specification languages , real-time systems

Journal title

Information Processing Letters

Serial Year

1995

Journal title

Information Processing Letters

Record number

128193