Title of article
A spatial logic for concurrency (part I)
Author/Authors
Lu?s Caires، نويسنده , , Luca Cardelli، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
42
From page
194
To page
235
Journal title
Information and Computation
Serial Year
2003
Journal title
Information and Computation
Record number
262182
Link To Document