✦ LIBER ✦

On quasi-open bisimulation

✍ Scribed by Yuxi Fu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Open bisimulation, revisited

✍ Sébastien Briais; Uwe Nestmann 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 582 KB

Bisimulation from Open Maps

✍ André Joyal; Mogens Nielsen; Glynn Winskel 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 778 KB

An Operational Understanding of Bisimula

✍ Glynn Winskel 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 29 KB

Bisimulation Trees and the Decidability

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

Bisimulation on speed: worst-case effici

✍ Gerald Lüttgen; Walter Vogler 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 438 KB

Approximating bisimulation in one-counte

✍ V. A. Bashkin 📂 Article 📅 2012 🏛 Allerton Press Inc 🌐 English ⚖ 260 KB