✦ LIBER ✦

GSOS for probabilistic transition systems: (extended abstract)

✍ Scribed by Falk Bartels

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A decomposition theorem for probabilisti

✍ Oded Maler 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 328 KB

Bayesian system for probabilistic stage

✍ Roman Krzysztofowicz; Coire J. Maranzano 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 715 KB

Bisimulation and simulation algorithms o

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

Using full message exchange for probabil

✍ G Alari; A Ciuffoletti 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 288 KB

Parametric probabilistic transition syst

✍ Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 258 KB

Compatible power converters for lithium

✍ Bruce Carsten 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 293 KB