Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Masterat
Domeniul: Informatica
Programul de studii: Sisteme distribuite în Internet
Limba de predare: Română

SYLLABUS

I. Date generale
Codul	Disciplina	
MIC1002	Modele formale de concurenţă şi comunicaţii	

Semestrul	Ore: C+S+L	Categoria	Statutul	
3	2+1+1	specialitate	obligatorie	

II. Cadre didactice cu norma de bază în Universitate
Numele şi	Titlul	Gradul	Catedra	Tipul activităţii	
prenumele	ştiinţific	didactic		C	S	L	
MUNTEAN Traian	Dr.	Prof.	Asociaţi	*			

Cadre didactice asociate
Numele şi	Titlul	Instituţia	Tipul	Tipul activităţii	
prenumele	ştiinţific		postului	C	S	L	
MUNTEAN Traian	Dr.	"Université de la Méditerranée"  Marseille, France					

III. Obiectivele disciplinei
Prezentarea celor mai recente cercetări în domeniul concurenţei şi a comunicaţiilor. Studiul particularităţilor legate de granularitatea inpusă de diversele modele. Realizarea unor proiecte specifice şi compararea performanţelor acestora. Studiul revenirii din avarii.

IV. Conţinutul disciplinei
1.	Modele formale ale concurenţei şi a comunicaţiilor.
2.	Controlul concurenţei
3.	Toleranţa la erori şi ieşirea din avarie.
4.	Concurenţa în context distribuit.
5.	Problematica impasului în context distribuit.
6.	Aplicaţii de control a concurenţei pe diverse platforme.

V. Bibliografie
1.	BOIAN F.M. FERDEAN C.M., BOIAN R.F., DRAGOS R.C. Programare concurentă pe platforme Unix, Windows, Java. Ed. Albastră, grupul Microinformatica, Cluj, 2002
2.	KOSKY A.S. Formal models for Concurrent Communication Systems. http://www.anthonykosky.com/pdf_files/WPE_91.pdf, 1991
3.	MUNTEAN T. Parallel Programming of Transputer Based Machine. IOS Press, 1992
4.	REICHEL H. Formal Models of Concurrency http://www.informatik.uni-bremen.de/~lschrode/teaching/Systems/ReichelCCS.pdf, 2003
5.	WEIKUM G. VOSSEN G. Transactional Information System: Theory, Algorithms, and Practice of Concurrency Control and Recovery. Kaufmann Morgan Publ. 2002

VI. Tematica activităţilor didactice pe săptămâni
Săptămâna 1 : Modelul CCS - Calculus of Communication Systems (part 1) [2] [4 cap 2]
Săptămâna 2 : Modelul CCS - Calculus of Communication Systems (part 2) [2] [4 cap 2]
Săptămâna 3 : Modelul Pi-Calculus [4 cap 3]
Săptămâna 4 : Controlul concurenţei - serializare, complexitate, control, conflicte, algoritmi [5 cap 3-5]
Săptămâna 5 : Abordarea obiectuală în concurenţă [5 cap 6-8]
Săptămâna 6 : Controlul concurenţei în baze de date relaţionale [5 cap 8]
Săptămâna 7:  Controlul concurenţei în structuri de căutare: implementări şi abordări practice [5 cap 9-10]
Săptămâna 8 : Modelarea avariilor: particularităţi ale avariilor tranzacţiilor şi a impasului (deadlock) [5 cap  11-13]
Săptămâna 9 : Recuperarea în modelele pagină, obiectual, multimedia [5 cap 14-16]
Săptămâna 10: Controlul concurenţei în context distribuit: federaţii omogene [5 cap 18]
Săptămâna 11: Controlul concurenţei în context distribuit: federaţii eterogene[5 cap 18]
Săptămâna 12: Controlul concurenţei în context distribuit: impasul în sisteme distribuite: detectare, recuperare, prevenire [5 cap 18]
Săptămâna 13: Arhitectura maşinilor orientate transputer [3]
Săptămâna 14: Aplicaţii specifice concurenţei [1]

VII. Metode didactice folosite
Metodele de bază utilizate în cazul predării cursului şi a laboratorului sunt: expuneri, conversaţii

VIII. Evaluare
	Activitatea se încheie cu examen scris (nota S). De-a lungul semestrului, studenţii vor realiza mai multe proiecte şi/sau referate pe tematica concurenţei şi / sau a comunicaţiilor (nota L). 
     Nota finală = 50%S + 50%L.	

IX. Bibliografie suplimentară

	Data,							Titular curs,
								Prof.  MUNTEAN Traian