Publicaciones en las que colabora con FERNANDO ROSA VELARDO (14)

2011

  1. Accelerations for the coverability set of Petri nets with names

    Fundamenta Informaticae

  2. Decidability and complexity of Petri nets with unordered data

    Theoretical Computer Science, Vol. 412, Núm. 34, pp. 4439-4451

2010

  1. Decidability problems in Petri nets with names and replication

    Fundamenta Informaticae

  2. Forward analysis for petri nets with name creation

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2009

  1. Decidability results for restricted models of petri nets with name creation and replication

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2008

  1. Name creation vs. replication in petri net systems

    Fundamenta Informaticae

2007

  1. Name creation vs. replication in Petri net systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. New bisimulation semantics for distributed systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

  3. Symbolic semantics for the verification of security properties of mobile Petri Nets

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2005

  1. Tagged systems: A framework for the specification of history-dependent properties

    Electronic Notes in Theoretical Computer Science

  2. Ubiquitous systems and Petri nets

    Lecture Notes in Computer Science