مرکز منطقه ای اطلاع رساني علوم و فناوري - Erratum to “Predicate transformers for reasoning about concurrent computation”: Science of computer Programming 24 (1995) 129

Title of article :

Erratum to “Predicate transformers for reasoning about concurrent computation”: Science of computer Programming 24 (1995) 129–148

Author/Authors :

K.Mani Chandy، نويسنده , , Beverly A. Sanders، نويسنده ,

Issue Information :

دوماهنامه با شماره پیاپی سال 1997

Pages :

From page :

335

To page :

335

Journal title :

Science of Computer Programming

Serial Year :

1997

Journal title :

Science of Computer Programming

Record number :

1079485

Link To Document :