✦ LIBER ✦

Linearity and bisimulation

✍ Scribed by Nobuko Yoshida; Kohei Honda; Martin Berger

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Approximate bisimulation relations for c

✍ Antoine Girard; George J. Pappas 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 317 KB

Equivalence of switching linear systems

✍ Pola, G.; van der Schaft, A. J.; Di Benedetto, M. D. 📂 Article 📅 2006 🏛 Taylor and Francis Group 🌐 English ⚖ 403 KB

Bisimulation Trees and the Decidability

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

Bisimulation and Hidden Algebra

✍ Dorel Lucanu; Ovidiu Gheorghieş; Adriana Apetrei 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 234 KB

Generalized OM-Bisimulation

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

Open bisimulation, revisited

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