✦ LIBER ✦

Calculi for concurrent processes

✍ Scribed by Gérard Boudol

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Concurrent nets: A study of prefixing in

✍ Emmanuel Beffara; François Maurel 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 299 KB

Concurrent Nets: A Study of Prefixing in

✍ Emmanuel Beffara; François Maurel 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 335 KB

Termination in higher-order concurrent c

✍ Romain Demangeon; Daniel Hirschkoff; Davide Sangiorgi 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 885 KB

Process Calculi for describing distribut

✍ Matthew Hennessy 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 68 KB

Evolvable concurrent processes

✍ Masaki Murakami 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 146 KB

A transformation system for concurrent p

✍ Nicoletta De Francesco; Antonella Santone 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 202 KB