✦ LIBER ✦

Branching bisimulation for probabilistic systems: Characteristics and decidability

✍ Scribed by Suzana Andova; Tim A.C. Willemse

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deciding bisimulation and trace equivale

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

Bisimulation Relations for Dynamical and

✍ Esfandiar Haghverdi; Paulo Tabuada; George Pappas 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 204 KB

Sequent calculi for branching time tempo

✍ J. Sakalauskaitė 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 120 KB

Digital system for measuring probabilist

✍ S. G. Alekseev; M. M. Gel'man; A. F. Kotyuk; D. G. Levchenko 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 435 KB

Probabilistic L-systems can look like th

✍ Alfred Hübler 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 777 KB

Probabilistic theory of structural and p

✍ W. Klonowski 📂 Article 📅 1979 🏛 Springer-Verlag 🌐 English ⚖ 793 KB