✦ LIBER ✦

Bisimulation and cocongruence for probabilistic systems

✍ Scribed by Vincent Danos; Josée Desharnais; François Laviolette; Prakash Panangaden

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Branching bisimulation congruence for pr

✍ Suzana Andova; Sonja Georgievska; Nikola Trčka 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 356 KB

Branching bisimulation for probabilistic

✍ Suzana Andova; Tim A.C. Willemse 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 455 KB

Probabilistic bisimulations for quantum

✍ Yuan Feng; Runyao Duan; Zhengfeng Ji; Mingsheng Ying 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 478 KB

Probabilistic bisimulations for quantum

✍ Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 462 KB

Non-expansive -bisimulations for probabi

✍ Simone Tini 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 596 KB

Bisimulation and simulation algorithms o

✍ Silvia Crafa; Francesco Ranzato 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 1006 KB