✦ LIBER ✦

Finite axiomatization for symbolic probabilisticπ-calculus

✍ Scribed by Lei Song; Yu-xin Deng

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Characterisations of testing preorders f

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

Computing bisimulations for finite-contr

✍ Huimin Lin 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 670 KB

Axiomatization of the Infinite-Valued Pr

✍ Louise Schmir Hay 📂 Article 📅 1963 🏛 Association for Symbolic Logic 🌐 English ⚖ 908 KB

A Finite Equational Axiomatization of th

✍ Antonino Salibra; Robert Goldblatt 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 371 KB

Symbolic transition graph and its early

✍ Zhoujun Li; Huowang Chen; Bingshan Wang 📂 Article 📅 1999 🏛 SP Science China Press 🌐 English ⚖ 653 KB