✦ LIBER ✦

Deciding Branching Bisimilarity of Normed Context-Free Processes Is in Σp2

✍ Scribed by D. Caucal; D.T. Huynh; L. Tian

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deciding bisimilarity of normed context-

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

Bisimilarity is decidable in the union o

✍ I. Cerná; M. Kretínský; A. Kucera 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 31 KB