✦ LIBER ✦

Non-expansive -bisimulations for probabilistic processes

✍ Scribed by Simone Tini

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Bisimulation and cocongruence for probab

✍ Vincent Danos; Josée Desharnais; François Laviolette; Prakash Panangaden 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 315 KB

Branching bisimulation congruence for pr

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

Approximation Metrics Based on Probabili

✍ Abate, Alessandro 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 329 KB

Branching bisimulation for probabilistic

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