✦ LIBER ✦

Generalized OM-Bisimulation

✍ Scribed by W. Vogler

Book ID: 112252139
Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 835 KB
Volume: 118
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1995.1050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bisimulations between generalized Veltma

Bisimulations between generalized Veltman models and Veltman models

✍ Mladen Vuković 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 104 KB

## Abstract Interpretability logic is an extension of provability logic. Veltman models and generalized Veltman models are two semantics for interpretability logic. We consider a connection between Veltman semantics and generalized Veltman semantics. We prove that for a complete image‐finite genera

Bisimulation Trees and the Decidability

Bisimulation Trees and the Decidability of Weak Bisimulations

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

Linearity and bisimulation

✍ Nobuko Yoshida; Kohei Honda; Martin Berger 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 606 KB

Open bisimulation, revisited

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

Deciding orthogonal bisimulation

✍ Thuy Duong Vu 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 245 KB

Bisimulation from Open Maps

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