✦ LIBER ✦

Computing bisimulations for finite-control π-calculus

✍ Scribed by Huimin Lin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Complete inference systems for weak bisi

✍ Huimin Lin 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 337 KB

Finite axiomatization for symbolic proba

✍ Lei Song; Yu-xin Deng 📂 Article 📅 2009 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 213 KB

Symbolic transition graph and its early

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

Characterisations of testing preorders f

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

Bisimulation, the Supervisory Control Pr

✍ George Barrett; Stéphane Lafortune 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 433 KB

An Epistemic Predicate CTL* for Finite C

✍ Dimitar P. Guelev; Mads Dam 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 285 KB