GLOBAN 2006 - The Global Computing Approach to Analysis of Systems

Process Algebras and Concurrent Systems

Lectures by Rocco De Nicola, University of Florence, Italy

Abstract

Critical aspects of concurrent systems are related to interaction problems instead of (sequential) computation problems. Process calculi are useful mathematical abstractions that, by focusing on process interaction, can facilitate the analysis of concurrent programming languages and the development/understanding of new programming paradigms. The lectures aim at promoting process calculi as a useful framework for the specification, verification and analysis of concurrent (distributed and mobile) systems.