Procese concurente
(
Înapoi
)
Facultatea de Matematică și Informatică
, Master Sisteme Distribuite, Anul II, Grupa 508.
Cursul se va baza pe cartea:
Jan Friso Groote, Mohammad Reza Mousavi,
Modeling and Analysis of Communicating Systems
. The MIT Press, 2014.