✦ LIBER ✦

Complexity of Equivalence Problems for Concurrent Systems of Finite Agents

✍ Scribed by Alexander Rabinovich

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The complexity of equivalence problems f

✍ Dung T. Huynh 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 800 KB

Refinement of actions and equivalence no

✍ Rob van Glabbeek; Ursula Goltz 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 739 KB

Hardness of equivalence checking for com

✍ Zdeněk Sawa; Petr Jančar 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 761 KB

Limits for automatic verification of fin

✍ Krzysztof R. Apt; Dexter C. Kozen 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 241 KB

The complexity of decision problems for

✍ Eitan M. Gurari; Oscar H. Ibarra 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 694 KB

The complexity of some reachability prob

✍ Christian Golaszewski; Peter J. Ramadge 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 330 KB