✦ LIBER ✦

Complete inference systems for weak bisimulation equivalences in the π-calculus

✍ Scribed by Huimin Lin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Inference systems for observation equiva

✍ Huimin Lin 📂 Article 📅 1999 🏛 SP Science China Press 🌐 English ⚖ 712 KB

Planar Bischlorophyll Derivatives with a

✍ Dr. Laurent Jaquinod; Timothy P. Forsyth; Prof. Dr. Kevin M. Smith; Dr. Mathias 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 409 KB