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
Bisimulation , Process algebra , Symbolic bisimulation , Mobile processes , p-calculus , Proof systems
Journal title
Information and Computation
Serial Year
2003
Journal title
Information and Computation
Record number
262115
Link To Document