Title of article

Bisimulation congruence of chi calculus

Author/Authors

Yuxi Fu، نويسنده ,

Issue Information

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

Pages

26

From page

201

To page

226

Keywords

Axiomatization , Process algebra , Mobile process , Bisimulation

Journal title

Information and Computation

Serial Year

2003

Journal title

Information and Computation

Record number

262154