✦ LIBER ✦

A characterization of finitary bisimulation

✍ Scribed by Luca Aceto; Anna Ingólfsdóttir

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Unprovability of the logical characteriz

✍ Pedro Sánchez Terraf 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 186 KB

An intensional characterization of the l

✍ Lars Hallnäs 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 1005 KB

Characterizations of Finitary and Cofini

✍ Duchamp, Alain 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 850 KB

A note on the characterization of weak b

✍ Jan Ekman 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 175 KB

A group theoretical characterization of

✍ J. I. Hall; B. Hartley 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 547 KB

Local characterizations of periodic simp

✍ V. V. Belyaev 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 687 KB