OLGA
MARROQUÍN ALONSO
Profesora contratada doctora
DAVID DE
FRUTOS ESCRIG
Catedrático de universidad
Publicaciones en las que colabora con DAVID DE FRUTOS ESCRIG (12)
2007
-
On the Expressiveness of Mobile Synchronizing Petri Nets
Electronic Notes in Theoretical Computer Science, Vol. 180, Núm. 1, pp. 77-94
2006
-
Mobile synchronizing Petri Nets: A choreographic approach for coordination in ubiquitous systems
Electronic Notes in Theoretical Computer Science
-
Replicated Ubiquitous Nets
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2005
-
Ubiquitous systems and Petri nets
Lecture Notes in Computer Science
2004
-
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
-
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
-
Ambient Petri nets
Electronic Notes in Theoretical Computer Science
-
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
-
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
-
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
-
Decidability of properties of timed-arc Petri nets
Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000
-
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)