OLGA
MARROQUÍN ALONSO
Profesora contratada doctora
FERNANDO
ROSA VELARDO
Profesor titular de universidad
Publicaciones en las que colabora con FERNANDO ROSA VELARDO (4)
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