Axiomatizing ST Bisimulation for a Proce
✍
Mario Bravetti; Roberto Gorrieri
📂
Article
📅
1999
🏛
Elsevier Science
🌐
English
⚖ 471 KB