Works matching IS 09601295 AND DT 2009 AND VI 19 AND IP 6

Results: 10

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