A. I. Cuza University of IaşiProcess Algebrae and Concurrent Calculus
| Course name | Process Algebrae and Concurrent Calculus | Code | CS3212O2 |
| Class | Computer Science, 2005 - 2008 | Package | 6 | ||||
| Level | Undergraduate | Year | 3 | Semester | 2 | Status | Optional |
| Hours per week | Total hours per semester | Total hours of individual work | Credits | Evaluation type | Teaching language | |||
| C | S | L | Pr | |||||
| 5 | ||||||||
| Taught by | Academic and scientific title, name |
|
Professor, PhD,
Gabriel Ciobanu
|
| Required courses |
| Objectives | 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. |
| General thematics | Concurrent systems, distributed systems, automated verification. |
| Seminary / Laboratory thematics | 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). |
| Teaching methods | modern methods |
| Bibliography | 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. |
| Evaluation | conditions | |
| criterias | ||
| modes | Participation during the semester (home/laboratory work + project), written test | |
| formula | home/laboratory work (10%) + project phase I (10%) + project final (30%) + written test (50%) |