Temario previsto

  1. CCS. Sintaxis. Reducción. Sistemas de transición etiquetados. Simulación y bisimulación. Equivalencia de comportamiento: bisimilaridad.
  2. Pi-cálculo. Sintaxis. Reducción. Sistemas de transición etiquetados. Equivalencia de procesos: barbed congruence débil y fuerte. Bisimilaridad. Técnicas "up-to".
  3. Variantes del pi-cálculo. Poliádico. Asíncrono. Versiones probabilisticas. Expresividad.
  4. Sistemas de tipos para pi-cálculo. Subtipado. Linealidad. Tipos sesión.
  5. Aplicaciones seleccionadas de cálculos de proceso: Propiedades de Seguridad de protocolos, Composición de servicios, Sistemas biológicos

Bibliografía

AN EXAMPLE IMAGE Robin Milner, Communicating and Mobile Systems: The Pi Calculus. Cambridge University Press, 1999
AN EXAMPLE IMAGE D. Sangiorgi, D. Walker. The pi-calculus: a Theory of Mobile Processes, Cambridge Universtity Press , 2001.
AN EXAMPLE IMAGE D. Sangiorgi. Introduction to Bisimulation and Coinduction, Cambridge Universtity Press , 2012.