✦ LIBER ✦

Equivalences for a biological process algebra

✍ Scribed by Vashti Galpin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidable Equivalences for Basic Proce

✍ J.F. Groote; H. Huttel 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 634 KB

Equivalence of recursive specifications

✍ Alban Ponse; Yaroslav S. Usenko 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 96 KB

A derived equivalence between cluster eq

✍ Claire Amiot 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 266 KB

Source algebra equivalences for blocks¶o

✍ Radha Kessar 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 132 KB

A Generic Process Algebra

✍ Jos C.M. Baeten; Mario Bravetti 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 204 KB

Towards a Process Algebra for Shared Pro

✍ Mikael Buchholtz; Jacob Andersen; Hans Henrik Løvengreen 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 354 KB