Title of article

Bisimulation for Higher-Order Process Calculi,

Author/Authors

Davide Sangiorgi، نويسنده ,

Issue Information

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

Pages

38

From page

141

To page

178

Journal title

Information and Computation

Serial Year

1996

Journal title

Information and Computation

Record number

261696