Sesión 6: Transition Systems and Parallel Programming Listado de artículos correspondientes a la sesión: Rule formats for nominal process calculi (Trabajo ya publicado)An Efficient Characterization of Petri Net Solvable Binary Words (Trabajo ya publicado)Una librería para inteligencia de enjambre basada en la programación funcional (Trabajo ya publicado)