✦ LIBER ✦

Testing Preorders for Probabilistic Processes

✍ Scribed by Rance Cleaveland; Zeynep Dayar; Scott A. Smolka; Shoji Yuen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

✍ Kuich, W. 📂 Article 📅 1992 🏛 Springer Berlin Heidelberg ⚖ 998 KB

Characterisations of testing preorders f

✍ Deng, Yuxin; Tiu, Alwen 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 424 KB

Real-reward testing for probabilistic pr

✍ Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 986 KB

Remarks on Testing Probabilistic Process

✍ Yuxin Deng; Rob van Glabbeek; Matthew Hennessy; Carroll Morgan; Chenyi Zhang 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 691 KB

A precongruence format for should testin

✍ Xiaowei Huang; Li Jiao; Weiming Lu 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 386 KB

Probabilistic algorithm for testing prim

✍ Michael O Rabin 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 634 KB