Title of article

Branching bisimilarity is an equivalence indeed!

Author/Authors

Twan Basten، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 1996

Pages

7

From page

141

To page

147

Keywords

Concurrency theory , Branching bisimilarity , Formal semantics

Journal title

Information Processing Letters

Serial Year

1996

Journal title

Information Processing Letters

Record number

128476