✦ LIBER ✦

Process Calculi for describing distributed systems

✍ Scribed by Matthew Hennessy

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Describing open distributed systems: A f

✍ Andry Rakotonirainy; Andrew Berry; Stephen Crawley; Zoran Milosesevic 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 42 KB

A taxonomy of process calculi for distri

✍ Daniele Gorla 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 656 KB

Calculi for concurrent processes

✍ Gérard Boudol 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 61 KB

Process assignment in distributed system

✍ Shinji Shimojo; Hideo Miyahara 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 730 KB

A recovery technique for distributed com

✍ Di Zhou 📂 Article 📅 1986 🏛 Springer 🌐 English ⚖ 491 KB

Process Automation Handbook || Distribut

✍ , 📂 Article 📅 2007 🏛 Springer London ⚖ 325 KB