Olga Marroquín Alonso

According to our database, Olga Marroquín Alonso authored at least 9 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Replicated Ubiquitous Nets.

Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso

Proceedings of the Computational Science and Its Applications, 2006

Platyhelminthes Are [Re]constructed Recursively.

Alberto de la Encina, Mercedes Hidalgo-Herrero, Olga Marroquín Alonso

Proceedings of the Computational Science, 2006

2005

On the Expressiveness of Mobile Synchronizing Petri Nets.

Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso

Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005

Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems.

Fernando Rosa-Velardo, Olga Marroquín Alonso, David de Frutos-Escrig

Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005

Ubiquitous Systems and Petri Nets.

David de Frutos-Escrig, Olga Marroquín Alonso, Fernando Rosa-Velardo

Proceedings of the Computational Science and Its Applications, 2005

2003

Ambient Petri nets.

David de Frutos-Escrig, Olga Marroquín Alonso

Proceedings of the 2nd EATCS Workshop on Foundations of Global Computing, 2003

Replicated Ambient Petri Nets.

David de Frutos-Escrig, Olga Marroquín Alonso

Proceedings of the Computational Science - ICCS 2003, 2003

2001

Extending the Petri Box Calculus with Time.

Olga Marroquín Alonso, David de Frutos-Escrig

Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000

Decidability of Properties of Timed-Arc Petri Nets.

David de Frutos-Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso

Proceedings of the Application and Theory of Petri Nets 2000, 2000