✦ LIBER ✦

Bisimulation from Open Maps

✍ Scribed by André Joyal; Mogens Nielsen; Glynn Winskel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Operational Understanding of Bisimula

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

Open bisimulation, revisited

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

On quasi-open bisimulation

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

From Applicative to Environmental Bisimu

✍ Vasileios Koutavas; Paul Blain Levy; Eijiro Sumii 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 277 KB

From Bisimulation to Simulation: Coarses

✍ R. Gentilini; C. Piazza; A. Policriti 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 218 KB

Bisimulation Trees and the Decidability

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