✦ LIBER ✦

Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes

✍ Scribed by Czerwiński, Wojciech; Hofman, Piotr; Lasota, Sławomir

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deciding Branching Bisimilarity of Norme

✍ D. Caucal; D.T. Huynh; L. Tian 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 719 KB

Deciding bisimilarity of normed context-

✍ Dung T. Huynh; Lu Tian 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 915 KB