Title of article :
Relationships between memory models
Author/Authors :
Vicent Cholvi، نويسنده , , Josep Bernabéu، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2004
Keywords :
formal methods , Memory models , Consistency models , Distributed Systems , Concurrency
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters