✦ LIBER ✦

Unprovability of the logical characterization of bisimulation

✍ Scribed by Pedro Sánchez Terraf

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Continuous stochastic logic characterize

✍ Josée Desharnais; Prakash Panangaden 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 171 KB

A characterization of finitary bisimulat

✍ Luca Aceto; Anna Ingólfsdóttir 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 611 KB

An intensional characterization of the l

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

On Semantics of Concurrency and Nondeter

✍ Irina Virbitskaite 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 920 KB

Bisimulation Trees and the Decidability

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

A note on the characterization of weak b

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