✦ LIBER ✦

Equivalence of recursive specifications in process algebra

✍ Scribed by Alban Ponse; Yaroslav S. Usenko

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A recursive second order initial algebra

✍ Karl Meinke 📂 Article 📅 1994 🏛 Springer-Verlag 🌐 English ⚖ 579 KB

A note on the notation of recursion in p

✍ Dirk Taubner 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 623 KB

Automorphisms of substructure lattices i

✍ David R. Guichard 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 785 KB

Process Algebras as Specification Langua

✍ Friedger Müffke 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 725 KB

Using Computer Algebra techniques for th

✍ Nikolaj Popov; Tudor Jebelean 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 130 KB

Some equivalents of AC in algebra

✍ K. Keremedis 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 309 KB