(Înapoi)

Facultatea de Matematică și Informatică, Master Sisteme Distribuite, Anul II, Grupa 508.

Semestrul II, 2024/2025.

---

Cursul se va baza pe cartea:

• J. C. M. Baeten, T. Basten, M. A. Reniers, Process Algebra: Equational Theories of Communicating Processes. Cambridge Tracts in Theoretical Computer Science, 50. Cambridge University Press, Cambridge, 2010.

---

Informații despre examen:

Examenul va consta într-o lucrare scrisă care va cuprinde probleme totalizând 12 puncte. Puteți avea la dispoziție orice materiale fizice (nu digitale). Problemele vor fi inspirate de cele tratate la curs și seminare (în particular, ele pot fi dintre enunțurile lăsate ca exercițiu la curs). În redactarea răspunsurilor puteți folosi orice rezultat din curs sau seminar deja demonstrat. Pentru promovarea examenului sunt necesare 5 puncte obținute în lucrarea scrisă.

---

Bibliografie suplimentară:

• R. Milner, Communicating and Mobile Systems: the π-calculus. Cambridge University Press, 1999.
• D. Sangiorgi, D. Walker, The π-calculus: A theory of Mobile Processes. Cambridge University Press, 2001.