✦ LIBER ✦

Undecidable equivalences for basic parallel processes

✍ Scribed by Hans Hüttel; Naoki Kobayashi; Takashi Suto

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidable Equivalences for Basic Proce

✍ J.F. Groote; H. Huttel 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 634 KB

Non-interleaving bisimulation equivalenc

✍ Sibylle Fröschle; Petr Jančar; Slawomir Lasota; Zdeněk Sawa 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 374 KB

Decidability of performance equivalence

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

The equivalence problem for deterministi

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

Trace, failure and testing equivalences

✍ Michael G. Main 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 795 KB

Complete sets of axioms for finite basic

✍ M. Boreale; P. Inverardi; M. Nesi 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 527 KB