Publicaciones en las que colabora con Valentín Valero Ruiz (3)

2001

  1. SPBC: A Markovian extension of finite petri box calculus

    Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

2000

  1. Decidability of properties of timed-arc Petri nets

    Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000

1992

  1. CSP Probabilístico (PCSP): un modelo operacional

    Panel '92: actas, XVIII Conferencia Latinoamericana de Informática