posted Mar 16, 2011, 8:48 AM by Massimo Bartoletti
[
updated Apr 27, 2011, 1:41 AM
]
Upcoming PhD course
Models of Distributed Systems: CCS and picalculus.
MarchApril 2011 Aula F, Dipartimento di Matematica e Informatica  Via Ospedale 72, Cagliari
Prof. Gabriel Ciobanu
Alexandru Ioan Cuza University of Iasi
Objectives:The student will learn how to use calculi for communicating processes and namepassing process calculi which are suitable for mobile systems in order to formally describe and reason about distributed systems. Both CCS and picalculus have the advantage of automated tools for checking bisimilarity and various properties.
Contents: Communicating Systems (CCS) + CWB tool Mobile Systems (picalculus) + MWB tool
Short description:
The explosive growth of the World Wide Web leads to new programming languages for "global computation" and mobility. In order to be able to reason on the global computation, we need to understand some formalisms behind these languages. We start with a process algebra called CCS, and then focus on the picalculus. Process calculi are formalisms for the description and analysis of distributed systems. The picalculus is emerging as one of the most influential of such calculi. The picalculus naturally models systems with a changing structure. Topics that will be surveyed include: algebraic theory; behavioural equivalences and preorders; reasoning techniques; applications. No special prerequisites are expected, but some familiarity with the lambdacalculus and process algebras are welcome.
Reading material: R.Milner. Communication and Concurrency, Prentice Hall, 2nd ed., 1994.
 R.Milner. Communicating and Mobile Systems: the picalculus, Cambridge University Press, 1999.
 R.Milner, J.Parrow, D.Walker. A Calculus of Mobile Processes (I+II), Information and Computation, 100 (1):177, 1992.
The official presentation of the course will be on next Tuesday (March 22), in Aula F, at 16:30. The schedule of the course will be fixed during this meeting.
The course has been funded by the Autonomous Region of Sardinia through the Visiting Professor Program 2010.

