• mercredi 26 mai 2004 : salle de conférences GII de l'EPUM
  
  
  • 16h00 : Specifying software systems with CSP - Maximiliano CRISTEA
    professeur à l'Université de Rosario
    
    Résumé :
    CSP stands for Communicating Sequential Processes and it is a formal notation developed by Tony Hoare with the objective to describe concurrent software systems as a collection of interacting sequential processes. In this seminar CSP will be introduced by means of an example and its main features will be explained. The example shows a software for controlling a simple production cell.