✦ LIBER ✦

Undecidable Equivalences for Basic Process Algebra

✍ Scribed by J.F. Groote; H. Huttel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidable equivalences for basic paral

✍ Hans Hüttel; Naoki Kobayashi; Takashi Suto 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 401 KB

Equivalences for a biological process al

✍ Vashti Galpin 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 499 KB

Decidability of performance equivalence

✍ Sławomir Lasota 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 338 KB

Undecidability of certain algorithmic pr

✍ L. A. Bokut’ 📂 Article 📅 1974 🏛 Springer US 🌐 English ⚖ 420 KB

The equivalence problem for deterministi

✍ G. Rozenberg 📂 Article 📅 1972 🏛 Elsevier Science 🌐 English ⚖ 83 KB

Equivalence of recursive specifications

✍ Alban Ponse; Yaroslav S. Usenko 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 96 KB