Nadia Busi

Nadia Busi, Roberto Gorrieri: Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs. J. Log. Algebr. Program. 78(3): 138-162 (2009)

Nadia Busi, Roberto Gorrieri: Structural non-interference in elementary and trace nets. Mathematical Structures in Computer Science 19(6): 1065-1090 (2009)

Nadia Busi, G. Michele Pinna: Process discovery and Petri nets. Mathematical Structures in Computer Science 19(6): 1091-1124 (2009)

Nadia Busi, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez: Efficient computation in rational-valued P systems. Mathematical Structures in Computer Science 19(6): 1125-1139 (2009)

Daniela Besozzi, Nadia Busi, Paolo Cazzaniga, Claudio Ferretti, Alberto Leporati, Giancarlo Mauri, Dario Pescini, Claudio Zandron: (Tissue) P systems with cell polarity. Mathematical Structures in Computer Science 19(6): 1141-1160 (2009)

Cristian Versari, Nadia Busi, Roberto Gorrieri: An expressiveness study of priority in process calculi. Mathematical Structures in Computer Science 19(6): 1161-1189 (2009)

Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: On the expressive power of recursion, replication and iteration in process calculi. Mathematical Structures in Computer Science 19(6): 1191-1222 (2009)

Nadia Busi, Gianluigi Zavattaro: Deciding reachability problems in Turing-complete fragments of Mobile Ambients. Mathematical Structures in Computer Science 19(6): 1223-1263 (2009)

Andrea Asperti, Nadia Busi: Mobile Petri nets. Mathematical Structures in Computer Science 19(6): 1265-1278 (2009)

Nadia Busi, Claudio Zandron: Computational expressiveness of Genetic Systems. Theor. Comput. Sci. 410(4-5): 286-293 (2009)

Cristian Versari, Nadia Busi: Stochastic biological modelling in the presence of multiple compartments. Theor. Comput. Sci. 410(33-34): 3039-3064 (2009)

Cristian Versari, Nadia Busi: Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. Electr. Notes Theor. Comput. Sci. 194(3): 165-180 (2008)

Nadia Busi: Expressiveness Issues in Brane Calculi: A Survey. Electr. Notes Theor. Comput. Sci. 209: 107-124 (2008)

Nadia Busi, Gianluigi Zavattaro: A process algebraic view of shared dataspace coordination. J. Log. Algebr. Program. 75(1): 52-85 (2008)

Nadia Busi, Claudio Zandron: Foreword. Theor. Comput. Sci. 404(1-2): 3-4 (2008)

Nadia Busi, Claudio Zandron: Preface. Electr. Notes Theor. Comput. Sci. 171(2): 1-2 (2007)

Nadia Busi: Using well-structured transition systems to decide divergence for catalytic P systems. Theor. Comput. Sci. 372(2-3): 125-135 (2007)

Nadia Busi, Claudio Zandron: Computing with Genetic Gates. CiE 2007: 105-114

Cristian Versari, Nadia Busi: Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. CMSB 2007: 80-95

Cristian Versari, Nadia Busi, Roberto Gorrieri: On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR 2007: 241-255

Nadia Busi, Claudio Zandron: On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation. FCT 2007: 173-186

Nadia Busi, Claudio Zandron: Genetic Systems without Inhibition Rules. ILC 2007: 21-31

Nadia Busi: Causality in Membrane Systems. Workshop on Membrane Computing 2007: 160-171

Nadia Busi, Gianluigi Zavattaro: A Process Algebraic View of Coordination. Electr. Notes Theor. Comput. Sci. 162: 141-145 (2006)

Nadia Busi, Roberto Gorrieri: On the Computational Power of Brane Calculi. : 16-43 (2006)

Nadia Busi: Deciding Behavioural Properties in Brane Calculi. CMSB 2006: 17-31

Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration Conformance for System Design. COORDINATION 2006: 63-81

Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro: : A Calculus for Service Oriented Computing. ICSOC 2006: 327-338

Nadia Busi, Miguel A. Gutiérrez-Naranjo: A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers. Workshop on Membrane Computing 2006: 233-249

Nadia Busi, Claudio Zandron: Computing with Genetic Gates, Proteins, and Membranes. Workshop on Membrane Computing 2006: 250-265

Nadia Busi, Miguel A. Gutiérrez-Naranjo: Some Notes on (Mem)Brane Computation. PPSN 2006: 262-271

Nadia Busi, G. Michele Pinna: Characterizing Workflow Nets Using Regions. SYNASC 2006: 399-406

Nadia Busi, Claudio Zandron: Modeling and analysis of biological processes by mem(brane) calculi and systems. Winter Simulation Conference 2006: 1646-1655

Nadia Busi, Roberto Gorrieri, Fabio Martinelli: Preface. Electr. Notes Theor. Comput. Sci. 121: 1-2 (2005)

Nadia Busi, Gianluigi Zavattaro: Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. COORDINATION 2005: 204-219

Nadia Busi, Gianluigi Zavattaro: Deciding Reachability in Mobile Ambients. ESOP 2005: 248-262

Nadia Busi, Luca Padovani: A Distributed Implementation of Mobile Nets as Mobile Agents. FMOODS 2005: 259-274

Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration: A Synergic Approach for System Design. ICSOC 2005: 228-240

Nadia Busi, Gianluigi Zavattaro: Reachability Analysis in Boxed Ambients. ICTCS 2005: 143-159

Nadia Busi: On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism. Workshop on Membrane Computing 2005: 144-158

Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Towards a formal framework for Choreography. WETICE 2005: 107-112

Nadia Busi, Alberto Montresor, Gianluigi Zavattaro: Data-Driven Coordination In Peer-To-Peer Information Systems. Int. J. Cooperative Inf. Syst. 13(1): 63-89 (2004)

Nadia Busi, Gianluigi Zavattaro: On the expressive power of movement and restriction in pure mobile ambients. Theor. Comput. Sci. 322(3): 477-515 (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): 129-189 (2004)

Nadia Busi, Roberto Gorrieri: Positive Non-interference in Elementary and Trace Nets. ICATPN 2004: 1-16

Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Comparing Recursion, Replication, and Iteration in Process Calculi. ICALP 2004: 307-319

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: 1-12

Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. Electr. Notes Theor. Comput. Sci. 68(3): 310-327 (2003)

Nadia Busi, Gianluigi Zavattaro: Expired data collection in shared dataspaces. Theor. Comput. Sci. 3(298): 529-556 (2003)

Nadia Busi, Roberto Gorrieri: A Survey on Non-interference with Petri Nets. Lectures on Concurrency and Petri Nets 2003: 328-344

Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Replication vs. Recursive Definitions in Channel Based Calculi. ICALP 2003: 133-144

Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro: PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks. SAC 2003: 380-386

Nadia Busi, Gianluigi Zavattaro: On the Expressiveness of Movement in Pure Mobile Ambients. Electr. Notes Theor. Comput. Sci. 66(3): 22-36 (2002)

Marco Bernardo, Nadia Busi, Marina Ribaudo: Integrating TwoTowers and GreatSPN through a compact net semantics. Perform. Eval. 50(2/3): 153-187 (2002)

Nadia Busi: Analysis issues in Petri nets with inhibitor arcs. Theor. Comput. Sci. 275(1-2): 127-177 (2002)

Nadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro: State- and Event-Based Reactive Programming in Shared Dataspaces. COORDINATION 2002: 111-124

Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro: Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems. NETWORKING Workshops 2002: 295-299

Nadia Busi, Gianluigi Zavattaro: On the serializability of transactions in shared dataspaces with temporary data. SAC 2002: 359-366

Nadia Busi, Gianluigi Zavattaro: On the Serializability of Transactions in JavaSpaces. Electr. Notes Theor. Comput. Sci. 54: 92-105 (2001)

Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Comparative analysis of the expressiveness of shared dataspace coordination. Electr. Notes Theor. Comput. Sci. 62: 102-115 (2001)

Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro: Coordination Models: A Guided Tour. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 6-24

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Temporary Data in Shared Dataspace Coordination Languages. FoSSaCS 2001: 121-136

Nadia Busi, Gianluigi Zavattaro: Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?. WETICE 2001: 328-333

Nadia Busi, G. Michele Pinna: Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs. Fundam. Inform. 44(3): 209-244 (2000)

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Expressiveness of Linda Coordination Primitives. Inf. Comput. 156(1-2): 90-121 (2000)

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Comparing three semantics for Linda-like languages. Theor. Comput. Sci. 240(1): 49-90 (2000)

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Process Calculi for Coordination: From Linda to JavaSpaces. AMAST 2000: 198-212

Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna: Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. CONCUR 2000: 442-457

Nadia Busi, Gianluigi Zavattaro: On the Expressiveness of Event Notification in Data-Driven Coordination Languages. ESOP 2000: 41-55

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Semantics of JavaSpaces. FMOODS 2000: 3-

Marco Bernardo, Marina Ribaudo, Nadia Busi: Compact Net Semantics for Process Algebras. FORTE 2000: 319-334

Marco Bernardo, Nadia Busi, Marina Ribaudo: Integrating Two Towers and GreatSPN. ICALP Satellite Workshops 2000: 551-564

Nadia Busi, Gianluigi Zavattaro: Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations. SAC (1) 2000: 233-239

Nadia Busi, G. Michele Pinna: Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs. Fundam. Inform. 40(2-3): 165-197 (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): 167-199 (1998)

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Turing equivalence of Linda coordination primitives. Electr. Notes Theor. Comput. Sci. 7: 75 (1997)

Nadia Busi, G. Michele Pinna: Synthesis of Nets with Inhibitor Arcs. CONCUR 1997: 151-165

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Three Semantics of the Output Operation for Generative Communication. COORDINATION 1997: 205-219

Nadia Busi, G. Michele Pinna: Non Sequential Semantics for Contextual P/T Nets. Application and Theory of Petri Nets 1996: 113-132

Marco Bernardo, Nadia Busi, Roberto Gorrieri: A Distributed Semantics for EMPA Based on Stochastic Contextual Nets. Comput. J. 38(7): 492-509 (1995)

Nadia Busi, Roberto Gorrieri: A Petri Net Semantics for pi-Calculus. CONCUR 1995: 145-159

Nadia Busi, Roberto Gorrieri: Distributed Conflicts in Communicating Systems. ECOOP Workshop 1994: 49-65

Nadia Busi, Rob J. van Glabbeek, Roberto Gorrieri: Axiomatising ST-Bisimulation Equivalence. PROCOMET 1994: 169-188