Navegación

Búsqueda

Búsqueda avanzada

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 /