✦ LIBER ✦

Probabilistic Causation in Branching Time

✍ Scribed by Mika Oksanen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Causation in Branching Time (I): Transit

✍ Ming Xu 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 399 KB

Partial Order Reduction for Probabilisti

✍ Christel Baier; Pedro D'Argenio; Marcus Groesser 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 432 KB

Model checking for a probabilistic branc

✍ Christel Baier; Marta Kwiatkowska 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 698 KB

Probabilistic approach in weighted Marko

✍ Anyue Chen; Junping Li; N.I. Ramesh 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 168 KB

Concerning a probabilistic theory of cau

✍ Philip Bretzel 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 812 KB

Events in Branching Time

✍ Stefan Wölfl 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 607 KB