Publicaciones (11) Publicaciones de OLGA MARROQUÍN ALONSO

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. Platyhelminthes are [Re] constructed recursively

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

  3. 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

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)