مرکز منطقه ای اطلاع رساني علوم و فناوري - Models for name-passing processes: interleaving and causal

Title of article :

Models for name-passing processes: interleaving and causal

Author/Authors :

Gian Luca Cattani، نويسنده , , Peter Sewell، نويسنده ,

Issue Information :

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

Pages :

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 :