Found: 10

Select item for more details and to access through your institution.

  • Nadia Busi's publications.

    Published in:
    Mathematical Structures in Computer Science, 2009, v. 19, n. 6, p. 1279, doi. 10.1017/S096012950999020X
    By:
    • Avattaro, Gianluigi Z.
    Publication type:
    Article

  • Mobile Petri Nets.

    Published in:
    Mathematical Structures in Computer Science, 2009, v. 19, n. 6, p. 1265, doi. 10.1017/S0960129509990193
    By:
    • Asperti, A.;
    • Busi, N.
    Publication type:
    Article

  • Deciding reachability problems in Turing-complete fragments of Mobile Ambients.

    Published in:
    Mathematical Structures in Computer Science, 2009, v. 19, n. 6, p. 1223, doi. 10.1017/S0960129509990181
    By:
    • Busi, Nadia;
    • Avattaro, Gianluigi Z.
    Publication type:
    Article

  • On the expressive power of recursion, replication and iteration in process calculi.

    Published in:
    Mathematical Structures in Computer Science, 2009, v. 19, n. 6, p. 1191, doi. 10.1017/S096012950999017X
    By:
    • Busi, Nadia;
    • Gabbrielli, Maurizio;
    • Avattaro, Gianluigi Z.
    Publication type:
    Article

  • An expressive study of priority in process calculi.

    Published in:
    Mathematical Structures in Computer Science, 2009, v. 19, n. 6, p. 1161, doi. 10.1017/S0960129509990168
    By:
    • VERSARI, CRISTIAN;
    • BUSI, NADIA;
    • GORRIERI, ROBERTO
    Publication type:
    Article

  • (Tissue) P systems with cell polarity.

    Published in:
    Mathematical Structures in Computer Science, 2009, v. 19, n. 6, p. 1141, doi. 10.1017/S0960129509990156
    By:
    • Besozzi, Daniela;
    • Busi, Nadia;
    • Cazzaniga, Paolo;
    • Ferretti, Claudio;
    • Leporati, Alberto;
    • Mauri, Giancarlo;
    • Pescini, Dario;
    • Zandron, Claudio
    Publication type:
    Article

  • Efficient computation in rational-valued P systems.

    Published in:
    Mathematical Structures in Computer Science, 2009, v. 19, n. 6, p. 1125, doi. 10.1017/S0960129509990144
    By:
    • Busi, Nadia;
    • Gutiérrez-Naranjo, Miguel A.;
    • Pérez-Jimenez, Mario J.
    Publication type:
    Article

  • Process discovery and Petri nets.

    Published in:
    Mathematical Structures in Computer Science, 2009, v. 19, n. 6, p. 1091, doi. 10.1017/S0960129509990132
    By:
    • Busi, Nadia;
    • Pinna, G. Michele
    Publication type:
    Article

  • Structural non-interference in elementary and trace nets.

    Published in:
    Mathematical Structures in Computer Science, 2009, v. 19, n. 6, p. 1065, doi. 10.1017/S0960129509990120
    By:
    • Busi, Nadia;
    • Gorrieri, Roberto
    Publication type:
    Article

  • Foreword: special issue in memory of Nadia Busi.

    Published in:
    Mathematical Structures in Computer Science, 2009, v. 19, n. 6, p. 1061, doi. 10.1017/S0960129509990119
    By:
    • Aceto, Luca;
    • Ingolfsdottir, Anna
    Publication type:
    Article