✦ LIBER ✦

Bisimulation and Hidden Algebra

✍ Scribed by Dorel Lucanu; Ovidiu Gheorghieş; Adriana Apetrei

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bisimulation Trees and the Decidability

✍ Yoram Hirshfeld 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 592 KB

Linearity and bisimulation

✍ Nobuko Yoshida; Kohei Honda; Martin Berger 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 606 KB

Axiomatizing ST Bisimulation for a Proce

✍ Mario Bravetti; Roberto Gorrieri 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 471 KB

Deciding and axiomatizing weak ST bisimu

✍ Bravetti, Mario; Gorrieri, Roberto 📂 Article 📅 2002 🏛 Association for Computing Machinery 🌐 English ⚖ 524 KB

Algebraic constraints on hidden variable

✍ Arthur Fine; Paul Teller 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 444 KB

Hidden quantum groups inside Kac-Moody a

✍ A. Alekseev; L. Faddeev; M. Semenov-Tian-Shansky 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 523 KB