Nadia Busi

Publication Activity (10 Years)

Years Active: 1994-2009
Publications (10 Years): 0

Publications

Cristian Versari, Nadia Busi
Stochastic biological modelling in the presence of multiple compartments. Theor. Comput. Sci. 410 (33-34) (2009)
Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
On the expressive power of recursion, replication and iteration in process calculi. Math. Struct. Comput. Sci. 19 (6) (2009)
Daniela Besozzi, Nadia Busi, Paolo Cazzaniga, Claudio Ferretti, Alberto Leporati, Giancarlo Mauri, Dario Pescini, Claudio Zandron
(Tissue) P systems with cell polarity. Math. Struct. Comput. Sci. 19 (6) (2009)
Nadia Busi, Claudio Zandron
Computational expressiveness of Genetic Systems. Theor. Comput. Sci. 410 (4-5) (2009)
Andrea Asperti, Nadia Busi
Mobile Petri nets. Math. Struct. Comput. Sci. 19 (6) (2009)
Cristian Versari, Nadia Busi, Roberto Gorrieri
An expressiveness study of priority in process calculi. Math. Struct. Comput. Sci. 19 (6) (2009)
Nadia Busi, Roberto Gorrieri
Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs. J. Log. Algebraic Methods Program. 78 (3) (2009)
Nadia Busi, G. Michele Pinna
Process discovery and Petri nets. Math. Struct. Comput. Sci. 19 (6) (2009)
Nadia Busi, Roberto Gorrieri
Structural non-interference in elementary and trace nets. Math. Struct. Comput. Sci. 19 (6) (2009)
Nadia Busi, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez
Efficient computation in rational-valued P systems. Math. Struct. Comput. Sci. 19 (6) (2009)
Nadia Busi, Gianluigi Zavattaro
Deciding reachability problems in Turing-complete fragments of Mobile Ambients. Math. Struct. Comput. Sci. 19 (6) (2009)
Nadia Busi, Gianluigi Zavattaro
A process algebraic view of shared dataspace coordination. J. Log. Algebraic Methods Program. 75 (1) (2008)
Nadia Busi, Claudio Zandron
Foreword. Theor. Comput. Sci. 404 (1-2) (2008)
Nadia Busi
Expressiveness Issues in Brane Calculi: A Survey. Electron. Notes Theor. Comput. Sci. 209 (2008)
Cristian Versari, Nadia Busi
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. Electron. Notes Theor. Comput. Sci. 194 (3) (2008)
Cristian Versari, Nadia Busi
Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. CMSB (2007)
Nadia Busi, Claudio Zandron
Genetic Systems without Inhibition Rules. ILC (2007)
Nadia Busi
Causality in Membrane Systems. Workshop on Membrane Computing (2007)
Nadia Busi, Claudio Zandron
Computing with Genetic Gates. CiE (2007)
Cristian Versari, Nadia Busi, Roberto Gorrieri
On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR (2007)
Nadia Busi, Claudio Zandron
On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation. FCT (2007)
Nadia Busi, Claudio Zandron
Preface. Electron. Notes Theor. Comput. Sci. 171 (2) (2007)
Nadia Busi
Using well-structured transition systems to decide divergence for catalytic P systems. Theor. Comput. Sci. 372 (2-3) (2007)
Nadia Busi, Roberto Gorrieri
On the Computational Power of Brane Calculi. Trans. Comp. Sys. Biology 6 (2006)
Nadia Busi, G. Michele Pinna
Characterizing Workflow Nets Using Regions. SYNASC (2006)
Nadia Busi, Miguel A. Gutiérrez-Naranjo
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers. Workshop on Membrane Computing (2006)
Nadia Busi, Gianluigi Zavattaro
A Process Algebraic View of Coordination. Electron. Notes Theor. Comput. Sci. 162 (2006)
Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro
: A Calculus for Service Oriented Computing. ICSOC (2006)
Nadia Busi
Deciding Behavioural Properties in Brane Calculi. CMSB (2006)
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
Choreography and Orchestration Conformance for System Design. COORDINATION (2006)
Nadia Busi, Miguel A. Gutiérrez-Naranjo
Some Notes on (Mem)Brane Computation. PPSN (2006)
Nadia Busi, Claudio Zandron
Modeling and analysis of biological processes by mem(brane) calculi and systems. WSC (2006)
Nadia Busi, Claudio Zandron
Computing with Genetic Gates, Proteins, and Membranes. Workshop on Membrane Computing (2006)
Nadia Busi, Roberto Gorrieri, Fabio Martinelli
Preface. Electron. Notes Theor. Comput. Sci. 121 (2005)
Nadia Busi, Luca Padovani
A Distributed Implementation of Mobile Nets as Mobile Agents. FMOODS (2005)
Nadia Busi, Gianluigi Zavattaro
Deciding Reachability in Mobile Ambients. ESOP (2005)
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
Towards a formal framework for Choreography. WETICE (2005)
Nadia Busi, Gianluigi Zavattaro
Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. COORDINATION (2005)
Nadia Busi, Gianluigi Zavattaro
Reachability Analysis in Boxed Ambients. ICTCS (2005)
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
Choreography and Orchestration: A Synergic Approach for System Design. ICSOC (2005)
Nadia Busi
On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism. Workshop on Membrane Computing (2005)
Nadia Busi, Roberto Gorrieri
Positive Non-interference in Elementary and Trace Nets. ICATPN (2004)
Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
Comparing Recursion, Replication, and Iteration in Process Calculi. ICALP (2004)
Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Security Issues in the Tuple-Space Coordination Model. Formal Aspects in Security and Trust (2004)
Nadia Busi, Alberto Montresor, Gianluigi Zavattaro
Data-Driven Coordination In Peer-To-Peer Information Systems. Int. J. Cooperative Inf. Syst. 13 (1) (2004)
Nadia Busi, Gianluigi Zavattaro
On the expressive power of movement and restriction in pure mobile ambients. Theor. Comput. Sci. 322 (3) (2004)
Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comput. Sci. 323 (1-3) (2004)
Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
Replication vs. Recursive Definitions in Channel Based Calculi. ICALP (2003)
Nadia Busi, Gianluigi Zavattaro
Expired data collection in shared dataspaces. Theor. Comput. Sci. 298 (3) (2003)
Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro
PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks. SAC (2003)
Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. Electron. Notes Theor. Comput. Sci. 68 (3) (2003)
Nadia Busi, Roberto Gorrieri
A Survey on Non-interference with Petri Nets. Lectures on Concurrency and Petri Nets (2003)
Nadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro
State- and Event-Based Reactive Programming in Shared Dataspaces. COORDINATION (2002)
Nadia Busi, Gianluigi Zavattaro
On the serializability of transactions in shared dataspaces with temporary data. SAC (2002)
Nadia Busi
Analysis issues in Petri nets with inhibitor arcs. Theor. Comput. Sci. 275 (1-2) (2002)
Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro
Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems. NETWORKING Workshops (2002)
Nadia Busi, Gianluigi Zavattaro
On the Expressiveness of Movement in Pure Mobile Ambients. Electron. Notes Theor. Comput. Sci. 66 (3) (2002)
Marco Bernardo, Nadia Busi, Marina Ribaudo
Integrating TwoTowers and GreatSPN through a compact net semantics. Perform. Evaluation 50 (2/3) (2002)
Nadia Busi, Gianluigi Zavattaro
Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?. WETICE (2001)
Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
Comparative analysis of the expressiveness of shared dataspace coordination. Electron. Notes Theor. Comput. Sci. 62 (2001)
Nadia Busi, Gianluigi Zavattaro
On the Serializability of Transactions in JavaSpaces. Electron. Notes Theor. Comput. Sci. 54 (2001)
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Temporary Data in Shared Dataspace Coordination Languages. FoSSaCS (2001)
Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. CONCUR (2000)
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Process Calculi for Coordination: From Linda to JavaSpaces. AMAST (2000)
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Comparing three semantics for Linda-like languages. Theor. Comput. Sci. 240 (1) (2000)
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
On the Semantics of JavaSpaces. FMOODS (2000)
Marco Bernardo, Marina Ribaudo, Nadia Busi
Compact Net Semantics for Process Algebras. FORTE (2000)
Nadia Busi, Gianluigi Zavattaro
On the Expressiveness of Event Notification in Data-Driven Coordination Languages. ESOP (2000)
Nadia Busi, G. Michele Pinna
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs. Fundam. Informaticae 44 (3) (2000)
Marco Bernardo, Nadia Busi, Marina Ribaudo
Integrating Two Towers and GreatSPN. ICALP Satellite Workshops (2000)
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
On the Expressiveness of Linda Coordination Primitives. Inf. Comput. 156 (1-2) (2000)
Nadia Busi, Gianluigi Zavattaro
Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations. SAC (1) (2000)
Nadia Busi, G. Michele Pinna
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs. Fundam. Informaticae 40 (2-3) (1999)
Nadia Busi
Mobile Nets. FMOODS (1999)
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
A Process Algebraic View of Linda Coordination Primitives. Theor. Comput. Sci. 192 (2) (1998)
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Three Semantics of the Output Operation for Generative Communication. COORDINATION (1997)
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
On the Turing equivalence of Linda coordination primitives. EXPRESS (1997)
Nadia Busi, G. Michele Pinna
Synthesis of Nets with Inhibitor Arcs. CONCUR (1997)
Nadia Busi, G. Michele Pinna
Non Sequential Semantics for Contextual P/T Nets. Application and Theory of Petri Nets (1996)
Nadia Busi, Roberto Gorrieri
A Petri Net Semantics for pi-Calculus. CONCUR (1995)
Marco Bernardo, Nadia Busi, Roberto Gorrieri
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets. Comput. J. 38 (7) (1995)
Nadia Busi, Roberto Gorrieri
Distributed Conflicts in Communicating Systems. ECOOP Workshop (1994)
Nadia Busi, Rob J. van Glabbeek, Roberto Gorrieri
Axiomatising ST-Bisimulation Equivalence. PROCOMET (1994)