Publicaciones en las que colabora con OLGA MARROQUÍN ALONSO (4)

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