(Înapoi)

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

---

Curs:

La curs vom citi din cartea:

• R. Milner, Communicating and Mobile Systems: the π-calculus. Cambridge University Press, 1999.

Vom rezolva exerciții și vom completa demonstrațiile care lipsesc.

---

Laborator:

[1] (soluții), [2] (soluții)

---

Examen:

Examenul va fi oral (fără materiale) și va consta într-o discuție despre materia parcursă la curs și laborator.

---

Bibliografie suplimentară:

• D. Sangiorgi, D. Walker, The π-calculus: A theory of Mobile Processes. Cambridge University Press, 2001.