Universitatea A. I. Cuza IaşiAlgebre de proces şi calcul concurent
| Numele cursului | Algebre de proces şi calcul concurent | Cod | CS3212O2 |
| Generaţia | Informatică zi, 2005 - 2008 | Pachet | 6 | ||||
| Nivel de studii | Licenţă | An | 3 | Semestru | 2 | Statut | Opţional |
| Nr. de ore pe săptămână | Nr. total de ore pe semestru | Nr. de ore de lucru individual | Credite | Mod de evaluare | Limba de predare | |||
| C | S | L | Pr | |||||
| 5 | ||||||||
| Titularul disciplinei | Titlu academic şi ştiinţific |
|
Profesor, Dr.,
Gabriel Ciobanu
|
| Discipline absolvite anterior |
| Obiective | The course is based on the new book of Robin Milner: Communicating and Mobile Systems: the pi-calculus. Robin Milner was awarded the Turing prize in 1992 and is the 4th most cited computer science author. The description of a theory, and not of punctual knowledge, is aimed. There will be a transition form the insuficiency of the language-based automata equivalents to the observation and behavior based process equivalents, from induction to coinduction, from a syntactic approach to a semantic one. Some of the topics of the course are: bisimulation, behavioral congrencies, mobility, expressivity. |
| Tematica generală | Concurrent systems, distributed systems, automated verification. |
| Tematica seminariilor / laboratoarelor | Two programs will be used, for automated verification of the equivalences and of some preperties expressed through temporal logics, namely Concurrency Workbench (CWB) for the CCS and Mobility Workbench (MWB) for the pi-calculus. Problems related to these verifications will be discussed (temporal logics, specification, model, model checking). |
| Metode de predare | modern methods |
| Bibliografie | R.Milner: Communicating and Mobile Systems: the pi-calculus. Cambridge University Press, 1999. R.Milner. Communication and Concurrency, Prentice Hall, 1989. R.Milner. Elements of Interaction (Turing Award Lecture). CACM 36(1): p.78-89, 1993. D.Sangiorgi, D.Walker. The Pi-Calculus: A Theory of Mobile Processes, Cambridge University Press, 2001. R.Cleaveland, J.Parrow, B.Steffen. The Concurrency Workbench: a semantics-based tool for the verification of concurrent systems. In ACM TOPLAS, vol. 15(1), p.36-72, 1993. B.Victor, F.Moller. The Mobility Workbench: A tool for the pi -calculus. LNCS 818, 1994. |
| Evaluare | condiţii | |
| criterii | ||
| forme | Participation during the semester (home/laboratory work + project), written test | |
| formula notei finale | home/laboratory work (10%) + project phase I (10%) + project final (30%) + written test (50%) |