مرکز منطقه ای اطلاع رساني علوم و فناوري - Branching bisimilarity is an equivalence indeed!

Title of article :

Branching bisimilarity is an equivalence indeed!

Author/Authors :

Twan Basten، نويسنده ,

Issue Information :

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

Pages :

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

Link To Document :