✦ LIBER ✦

Remarks on Testing Probabilistic Processes

✍ Scribed by Yuxin Deng; Rob van Glabbeek; Matthew Hennessy; Carroll Morgan; Chenyi Zhang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A probabilistic remark on algebraic prog

✍ Richard A. Demillo; Richard J. Lipton 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 308 KB

Testing Preorders for Probabilistic Proc

✍ Rance Cleaveland; Zeynep Dayar; Scott A. Smolka; Shoji Yuen 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 556 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 conservative Markov processes

✍ S. R. Foguel 📂 Article 📅 1968 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 107 KB

Remarks on Maximal Branching Processes

✍ Lamperti, John 📂 Article 📅 1972 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 815 KB

Remarks on the weak lepton processes

✍ K. Senba 📂 Article 📅 1958 🏛 Società Italiana di Fisica ⚖ 811 KB