Periodo de publicación recogido
|
|
|
Structural non-interference in elementary and trace nets
Nadia Busi, Roberto Gorrieri
Mathematical structures in computer science, ISSN 0960-1295, Vol. 19, Nº 6, 2009, págs. 1065-1090
Process discovery and petri nets
Nadia Busi, G. Michele Pinna
Mathematical structures in computer science, ISSN 0960-1295, Vol. 19, Nº 6, 2009, págs. 1091-1124
Deciding reachability problems in Turing-complete fragments of Mobile Ambients
Nadia Busi, Gianluigi Zavattaro
Mathematical structures in computer science, ISSN 0960-1295, Vol. 19, Nº 6, 2009, págs. 1123-1264
Efficient computation in rational-valued P systems
Nadia Busi, Miguel Ángel Gutiérrez Naranjo, Mario de Jesús Pérez Jiménez
Mathematical structures in computer science, ISSN 0960-1295, Vol. 19, Nº 6, 2009, págs. 1125-1140
Daniela Besozzi, Nadia Busi, Paolo Cazzaniga, Claudio Ferretti, Alberto Leporati, Giancarlo Mauri, Dario Pescini, Claudio Zandron
Mathematical structures in computer science, ISSN 0960-1295, Vol. 19, Nº 6, 2009, págs. 1141-1160
An expressiveness study of priority in process calculi
Cristian Versari, Nadia Busi, Roberto Gorrieri
Mathematical structures in computer science, ISSN 0960-1295, Vol. 19, Nº 6, 2009, págs. 1161-1190
On the expressive power of recursion, replication and iteration in process calculi
Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
Mathematical structures in computer science, ISSN 0960-1295, Vol. 19, Nº 6, 2009, págs. 1191-1222
A. Asperti, Nadia Busi
Mathematical structures in computer science, ISSN 0960-1295, Vol. 19, Nº 6, 2009, págs. 1265-1278
Nadia Busi
8th International Workshop on Membrane Computing / G. K. Eleftherakis (ed. lit.), Petros Kefalas (ed. lit.), Gheorge Paun (ed. lit.), Grzegorz Rozenberg (ed. lit.), Arto Salomaa (ed. lit.), 2007, ISBN 3-540-77311-8, págs. 160-171
Towards a Casual Semantics for Brane Calculi
Nadia Busi
Fifth Brainstorming Week on Membrane Computing / Miguel Ángel Gutiérrez Naranjo (ed. lit.), Gheorge Paun (ed. lit.), Alvaro Romero Jiménez (ed. lit.), Agustín Riscos Núñez (ed. lit.), 2007, ISBN 9788461167760, págs. 97-112
Two Universality Results for (Mem) Brane Systems
Daniela Besozzi, Nadia Busi, Giuditta Franco, Rudolf Freund, Gheorge Paun
Fourth Brainstormming Week on Membrane Computing / Miguel Ángel Gutiérrez Naranjo (ed. lit.), Gheorge Paun (ed. lit.), Agustín Riscos Núñez (ed. lit.), Francisco José Romero Campero (ed. lit.), Vol. 1, 2006, ISBN 8461105206, págs. 49-62
Decidability of Divergence for Catatalytic P Systems
Nadia Busi
Fourth Brainstormming Week on Membrane Computing / Miguel Ángel Gutiérrez Naranjo (ed. lit.), Gheorge Paun (ed. lit.), Agustín Riscos Núñez (ed. lit.), Francisco José Romero Campero (ed. lit.), Vol. 1, 2006, ISBN 8461105206, págs. 63-80
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados