OLGA
MARROQUÍN ALONSO
Profesora contratada doctora
Publicaciones (11) Publicaciones de OLGA MARROQUÍN ALONSO
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
-
Platyhelminthes are [Re] constructed recursively
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
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)