Branching bisimilarity is an equivalence
✍
Twan Basten
📂
Article
📅
1996
🏛
Elsevier Science
🌐
English
⚖ 539 KB