✦ LIBER ✦

Open bisimulation, revisited

✍ Scribed by Sébastien Briais; Uwe Nestmann

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bisimulation from Open Maps

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

On quasi-open bisimulation

✍ Yuxi Fu 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 358 KB

An Operational Understanding of Bisimula

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

OPEN QUOTATION REVISITED

✍ François Recanati 📂 Article 📅 2008 🏛 Blackwell Publishing 🌐 English ⚖ 187 KB

Bisimulation Trees and the Decidability

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

Generalized OM-Bisimulation

✍ W. Vogler 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 835 KB