Sesión 6: Transition Systems and Parallel Programming

Listado de artículos correspondientes a la sesión:

1. Rule formats for nominal process calculi (Trabajo ya publicado)
   Luca Aceto / Ignacio Fábregas / Álvaro García Pérez / Anna Ingólfsdóttir / Yolanda Ortega Mallén / 
2. An Efficient Characterization of Petri Net Solvable Binary Words (Trabajo ya publicado)
   David de Frutos Escrig / Maciej Koutny / Lukasz Mikulski / 
3. Una librería para inteligencia de enjambre basada en la programación funcional (Trabajo ya publicado)
   Fernando Rubio / Alberto de la Encina / Pablo Rabanal / Ismael Rodríguez /