Publicaciones en las que colabora con DAVID DE FRUTOS ESCRIG (12)

2007

  1. On the Expressiveness of Mobile Synchronizing Petri Nets

    Electronic Notes in Theoretical Computer Science, Vol. 180, Núm. 1, pp. 77-94

2006

  1. Mobile synchronizing Petri Nets: A choreographic approach for coordination in ubiquitous systems

    Electronic Notes in Theoretical Computer Science

  2. Replicated Ubiquitous Nets

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2005

  1. Ubiquitous systems and Petri nets

    Lecture Notes in Computer Science

2004

  1. Ambient Petri nets

    Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos: Las Navas del Marqués (Ávila), 9 al 11 de junio de 2004 (Dykinson), pp. 229-248

  2. Time-outs and delays in TPBC

    Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos: Las Navas del Marqués (Ávila), 9 al 11 de junio de 2004 (Dykinson), pp. 199-212

2003

  1. Ambient Petri nets

    Electronic Notes in Theoretical Computer Science

  2. Replicated ambient petri nets

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2658, pp. 774-783

  3. Urgency in TPBC

    III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 (Servicio de Publicaciones), pp. 215

2001

  1. Extending the petri box calculus with time

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

  2. Decidability of properties of timed-arc petri nets

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)