Title of article

A Type System for Lock-Free Processes

Author/Authors

Naoki Kobayashi، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2002

Pages

38

From page

122

To page

159

Journal title

Information and Computation

Serial Year

2002

Journal title

Information and Computation

Record number

262074