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
1
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