Parrow – An Introduction to the pi-Calculus, pages 479-543

Libro adottato alla Sapienza Università di Roma, a.a. 2026/2027

Chi lo adotta

• Concurrent Systems – Prof. Daniele Gorla (canale unico)