✦ LIBER ✦

Strong bisimilarity of simple process algebras: complexity lower bounds

✍ Scribed by Jiří Srba

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hardness results for weak bisimilarity o

✍ Jitka StříAbrná 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 709 KB

Lower bounds for the bilinear complexity

✍ M. Bläser 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 395 KB

Lower bounds for algebraic complexity of

✍ A. V. Leont’ev 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 134 KB

Lower bounds for the non-linear complexi

✍ Michael D. Hirsch 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 687 KB

Functional Chung laws for small incremen

✍ Philippe Berthet 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 336 KB