✦ LIBER ✦

Bisimulation Trees and the Decidability of Weak Bisimulations

✍ Scribed by Yoram Hirshfeld

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modifications of Expansion Trees for Wea

✍ Jitka Stříbrná; Ivana Černá 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 251 KB

Branching bisimulation for probabilistic

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

Weak bisimulation is sound and complete

✍ Josée Desharnais; Vineet Gupta; Radha Jagadeesan; Prakash Panangaden 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 272 KB

Deciding and axiomatizing weak ST bisimu

✍ Bravetti, Mario; Gorrieri, Roberto 📂 Article 📅 2002 🏛 Association for Computing Machinery 🌐 English ⚖ 524 KB

Decidability of Branching Bisimulation o

✍ Czerwiński, Wojciech; Hofman, Piotr; Lasota, Sławomir 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 977 KB

Deciding bisimulation and trace equivale

✍ Hsu-Chun Yen; Shi-Tsuen Jian; Ta-Pang Lao 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 805 KB