Distributed Conflicts in Communicating Systems. - Nadia Busi; Roberto Gorrieri (ECOOP Workshop, 1994)

Axiomatising ST-Bisimulation Equivalence. - Nadia Busi; Rob J. van Glabbeek; Roberto Gorrieri (PROCOMET, 1994)

A Petri Net Semantics for pi-Calculus. - Nadia Busi; Roberto Gorrieri (CONCUR, 1995)

A Distributed Semantics for EMPA Based on Stochastic Contextual Nets. - Marco Bernardo 001; Nadia Busi; Roberto Gorrieri (Comput. J., 1995)

Non Sequential Semantics for Contextual P/T Nets. - Nadia Busi; G. Michele Pinna (Application and Theory of Petri Nets, 1996)

Synthesis of Nets with Inhibitor Arcs. - Nadia Busi; G. Michele Pinna (CONCUR, 1997)

Three Semantics of the Output Operation for Generative Communication. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (COORDINATION, 1997)

On the Turing equivalence of Linda coordination primitives. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (EXPRESS, 1997)

A Process Algebraic View of Linda Coordination Primitives. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (Theor. Comput. Sci., 1998)

Mobile Nets. - Nadia Busi (FMOODS, 1999)

Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs. - Nadia Busi; G. Michele Pinna (Fundam. Informaticae, 1999)

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

Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. - Paolo Baldan; Nadia Busi; Andrea Corradini 001; G. Michele Pinna (CONCUR, 2000)

On the Expressiveness of Event Notification in Data-Driven Coordination Languages. - Nadia Busi; Gianluigi Zavattaro (ESOP, 2000)

On the Semantics of JavaSpaces. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (FMOODS, 2000)

Compact Net Semantics for Process Algebras. - Marco Bernardo 001; Marina Ribaudo; Nadia Busi (FORTE, 2000)

Integrating Two Towers and GreatSPN. - Marco Bernardo 001; Nadia Busi; Marina Ribaudo (ICALP Satellite Workshops, 2000)

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

Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs. - Nadia Busi; G. Michele Pinna (Fundam. Informaticae, 2000)

On the Expressiveness of Linda Coordination Primitives. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (Inf. Comput., 2000)

Comparing three semantics for Linda-like languages. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (Theor. Comput. Sci., 2000)

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

Temporary Data in Shared Dataspace Coordination Languages. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (FoSSaCS, 2001)

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

Comparative analysis of the expressiveness of shared dataspace coordination. - Antonio Brogi; Nadia Busi; Maurizio Gabbrielli; Gianluigi Zavattaro (TOSCA, 2001)

On the Serializability of Transactions in JavaSpaces. - Nadia Busi; Gianluigi Zavattaro (ConCoord, 2001)

State- and Event-Based Reactive Programming in Shared Dataspaces. - Nadia Busi; Antony I. T. Rowstron; Gianluigi Zavattaro (COORDINATION, 2002)

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

On the serializability of transactions in shared dataspaces with temporary data. - Nadia Busi; Gianluigi Zavattaro (SAC, 2002)

SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. - Nadia Busi; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (FOCLASA, 2002)

On the Expressiveness of Movement in Pure Mobile Ambients. - Nadia Busi; Gianluigi Zavattaro (F-WAN@ICALP, 2002)

Integrating TwoTowers and GreatSPN through a compact net semantics. - Marco Bernardo 001; Nadia Busi; Marina Ribaudo (Perform. Evaluation, 2002)

Analysis issues in Petri nets with inhibitor arcs. - Nadia Busi (Theor. Comput. Sci., 2002)

A Survey on Non-interference with Petri Nets. - Nadia Busi; Roberto Gorrieri (Lectures on Concurrency and Petri Nets, 2003)

Replication vs. Recursive Definitions in Channel Based Calculi. - Nadia Busi; Maurizio Gabbrielli; Gianluigi Zavattaro (ICALP, 2003)

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

Expired data collection in shared dataspaces. - Nadia Busi; Gianluigi Zavattaro (Theor. Comput. Sci., 2003)

Positive Non-interference in Elementary and Trace Nets. - Nadia Busi; Roberto Gorrieri (ICATPN, 2004)

Comparing Recursion, Replication, and Iteration in Process Calculi. - Nadia Busi; Maurizio Gabbrielli; Gianluigi Zavattaro (ICALP, 2004)

Security Issues in the Tuple-Space Coordination Model. - Mario Bravetti; Nadia Busi; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (Formal Aspects in Security and Trust, 2004)

Preface. - Nadia Busi; Roberto Gorrieri; Fabio Martinelli (WISP@ICATPN, 2004)

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

Domain and event structure semantics for Petri nets with read and inhibitor arcs. - Paolo Baldan; Nadia Busi; Andrea Corradini 001; G. Michele Pinna (Theor. Comput. Sci., 2004)

On the expressive power of movement and restriction in pure mobile ambients. - Nadia Busi; Gianluigi Zavattaro (Theor. Comput. Sci., 2004)

Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. - Nadia Busi; Gianluigi Zavattaro (COORDINATION, 2005)

Deciding Reachability in Mobile Ambients. - Nadia Busi; Gianluigi Zavattaro (ESOP, 2005)

A Distributed Implementation of Mobile Nets as Mobile Agents. - Nadia Busi; Luca Padovani (FMOODS, 2005)

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

Reachability Analysis in Boxed Ambients. - Nadia Busi; Gianluigi Zavattaro (ICTCS, 2005)

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

Towards a formal framework for Choreography. - Nadia Busi; Roberto Gorrieri; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (WETICE, 2005)

A Process Algebraic View of Coordination. - Nadia Busi; Gianluigi Zavattaro (APC 25, 2005)

Deciding Behavioural Properties in Brane Calculi. - Nadia Busi (CMSB, 2006)

Choreography and Orchestration Conformance for System Design. - Nadia Busi; Roberto Gorrieri; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (COORDINATION, 2006)

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

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

Computing with Genetic Gates, Proteins, and Membranes. - Nadia Busi; Claudio Zandron (Workshop on Membrane Computing, 2006)

Some Notes on (Mem)Brane Computation. - Nadia Busi; Miguel Angel Gutiérrez-Naranjo (PPSN, 2006)

Characterizing Workflow Nets Using Regions. - Nadia Busi; G. Michele Pinna (SYNASC, 2006)

Modeling and analysis of biological processes by mem(brane) calculi and systems. - Nadia Busi; Claudio Zandron (WSC, 2006)

Expressiveness Issues in Brane Calculi: A Survey. - Nadia Busi (LIX, 2006)

Preface. - Nadia Busi; Claudio Zandron (MeCBIC@ICALP, 2006)

On the Computational Power of Brane Calculi. - Nadia Busi; Roberto Gorrieri (Trans. Comp. Sys. Biology, 2006)

Computing with Genetic Gates. - Nadia Busi; Claudio Zandron (CiE, 2007)

Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. - Cristian Versari; Nadia Busi (CMSB, 2007)

On the Expressive Power of Global and Local Priority in Process Calculi. - Cristian Versari; Nadia Busi; Roberto Gorrieri (CONCUR, 2007)

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

Genetic Systems without Inhibition Rules. - Nadia Busi; Claudio Zandron (ILC, 2007)

Causality in Membrane Systems. - Nadia Busi (Workshop on Membrane Computing, 2007)

Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. - Cristian Versari; Nadia Busi (FBTC@CONCUR, 2007)

Using well-structured transition systems to decide divergence for catalytic P systems. - Nadia Busi (Theor. Comput. Sci., 2007)

A process algebraic view of shared dataspace coordination. - Nadia Busi; Gianluigi Zavattaro (J. Log. Algebraic Methods Program., 2008)

Foreword. - Nadia Busi; Claudio Zandron (Theor. Comput. Sci., 2008)

Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs. - Nadia Busi; Roberto Gorrieri (J. Log. Algebraic Methods Program., 2009)

Mobile Petri nets. - Andrea Asperti; Nadia Busi (Math. Struct. Comput. Sci., 2009)

(Tissue) P systems with cell polarity. - Daniela Besozzi; Nadia Busi; Paolo Cazzaniga; Claudio Ferretti; Alberto Leporati; Giancarlo Mauri; Dario Pescini; Claudio Zandron (Math. Struct. Comput. Sci., 2009)

Structural non-interference in elementary and trace nets. - Nadia Busi; Roberto Gorrieri (Math. Struct. Comput. Sci., 2009)

Efficient computation in rational-valued P systems. - Nadia Busi; Miguel Angel Gutiérrez-Naranjo; Mario J. Pérez-Jiménez (Math. Struct. Comput. Sci., 2009)

On the expressive power of recursion, replication and iteration in process calculi. - Nadia Busi; Maurizio Gabbrielli; Gianluigi Zavattaro (Math. Struct. Comput. Sci., 2009)

Process discovery and Petri nets. - Nadia Busi; G. Michele Pinna (Math. Struct. Comput. Sci., 2009)

Deciding reachability problems in Turing-complete fragments of Mobile Ambients. - Nadia Busi; Gianluigi Zavattaro (Math. Struct. Comput. Sci., 2009)

An expressiveness study of priority in process calculi. - Cristian Versari; Nadia Busi; Roberto Gorrieri (Math. Struct. Comput. Sci., 2009)

Computational expressiveness of Genetic Systems. - Nadia Busi; Claudio Zandron (Theor. Comput. Sci., 2009)

Stochastic biological modelling in the presence of multiple compartments. - Cristian Versari; Nadia Busi (Theor. Comput. Sci., 2009)