Title of article
Models for name-passing processes: interleaving and causal
Author/Authors
Gian Luca Cattani، نويسنده , , Peter Sewell، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
43
From page
136
To page
178
Keywords
Concurrency and distributed computation , -calculus , Categorical models , Semantics
Journal title
Information and Computation
Serial Year
2004
Journal title
Information and Computation
Record number
262229
Link To Document