Title of article
Complete inference systems for weak bisimulation equivalences in the π-calculus
Author/Authors
Huimin Lin، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
29
From page
1
To page
29
Keywords
Mobile processes , p-calculus , Symbolic bisimulation , Bisimulation , Proof systems , Process algebra
Journal title
Information and Computation
Serial Year
2003
Journal title
Information and Computation
Record number
333734
Link To Document