Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Nadia Busi
Author information
- 1968-2007
2000 – 2009
- 2009
[j37]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)- [j36]Nadia Busi, Roberto Gorrieri: Structural non-interference in elementary and trace nets. Mathematical Structures in Computer Science 19(6): 1065-1090 (2009)
- [j35]Nadia Busi, G. Michele Pinna: Process discovery and Petri nets. Mathematical Structures in Computer Science 19(6): 1091-1124 (2009)
- [j34]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)
- [j33]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)
- [j32]Cristian Versari, Nadia Busi, Roberto Gorrieri: An expressiveness study of priority in process calculi. Mathematical Structures in Computer Science 19(6): 1161-1189 (2009)
- [j31]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)
- [j30]Nadia Busi, Gianluigi Zavattaro: Deciding reachability problems in Turing-complete fragments of Mobile Ambients. Mathematical Structures in Computer Science 19(6): 1223-1263 (2009)
- [j29]Andrea Asperti, Nadia Busi: Mobile Petri nets. Mathematical Structures in Computer Science 19(6): 1265-1278 (2009)
- [j28]Nadia Busi, Claudio Zandron: Computational expressiveness of Genetic Systems. Theor. Comput. Sci. 410(4-5): 286-293 (2009)
- [j27]Cristian Versari, Nadia Busi: Stochastic biological modelling in the presence of multiple compartments. Theor. Comput. Sci. 410(33-34): 3039-3064 (2009)
- 2008
- [j26]Cristian Versari, Nadia Busi: Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. Electr. Notes Theor. Comput. Sci. 194(3): 165-180 (2008)
- [j25]Nadia Busi: Expressiveness Issues in Brane Calculi: A Survey. Electr. Notes Theor. Comput. Sci. 209: 107-124 (2008)
- [j24]Nadia Busi, Gianluigi Zavattaro: A process algebraic view of shared dataspace coordination. J. Log. Algebr. Program. 75(1): 52-85 (2008)
- [j23]
- 2007
- [j22]
- [j21]Nadia Busi: Using well-structured transition systems to decide divergence for catalytic P systems. Theor. Comput. Sci. 372(2-3): 125-135 (2007)
- [c46]
- [c45]Cristian Versari, Nadia Busi: Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. CMSB 2007: 80-95
- [c44]Cristian Versari, Nadia Busi, Roberto Gorrieri: On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR 2007: 241-255
- [c43]Nadia Busi, Claudio Zandron: On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation. FCT 2007: 173-186
- [c42]
- [c41]
- 2006
- [j20]Nadia Busi, Gianluigi Zavattaro: A Process Algebraic View of Coordination. Electr. Notes Theor. Comput. Sci. 162: 141-145 (2006)
- [j19]
- [c40]
- [c39]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration Conformance for System Design. COORDINATION 2006: 63-81
- [c38]Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro: : A Calculus for Service Oriented Computing. ICSOC 2006: 327-338
- [c37]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
- [c36]Nadia Busi, Claudio Zandron: Computing with Genetic Gates, Proteins, and Membranes. Workshop on Membrane Computing 2006: 250-265
- [c35]
- [c34]
- [c33]Nadia Busi, Claudio Zandron: Modeling and analysis of biological processes by mem(brane) calculi and systems. Winter Simulation Conference 2006: 1646-1655
- 2005
- [j18]Nadia Busi, Roberto Gorrieri, Fabio Martinelli: Preface. Electr. Notes Theor. Comput. Sci. 121: 1-2 (2005)
- [c32]Nadia Busi, Gianluigi Zavattaro: Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. COORDINATION 2005: 204-219
- [c31]
- [c30]Nadia Busi, Luca Padovani: A Distributed Implementation of Mobile Nets as Mobile Agents. FMOODS 2005: 259-274
- [c29]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration: A Synergic Approach for System Design. ICSOC 2005: 228-240
- [c28]
- [c27]Nadia Busi: On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism. Workshop on Membrane Computing 2005: 144-158
- [c26]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Towards a formal framework for Choreography. WETICE 2005: 107-112
- 2004
- [j17]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)
- [j16]Nadia Busi, Gianluigi Zavattaro: On the expressive power of movement and restriction in pure mobile ambients. Theor. Comput. Sci. 322(3): 477-515 (2004)
- [j15]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)
- [c25]Nadia Busi, Roberto Gorrieri: Positive Non-interference in Elementary and Trace Nets. ICATPN 2004: 1-16
- [c24]Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Comparing Recursion, Replication, and Iteration in Process Calculi. ICALP 2004: 307-319
- [c23]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
- 2003
- [j14]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)
- [j13]Nadia Busi, Gianluigi Zavattaro: Expired data collection in shared dataspaces. Theor. Comput. Sci. 3(298): 529-556 (2003)
- [c22]Nadia Busi, Roberto Gorrieri: A Survey on Non-interference with Petri Nets. Lectures on Concurrency and Petri Nets 2003: 328-344
- [c21]Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Replication vs. Recursive Definitions in Channel Based Calculi. ICALP 2003: 133-144
- [c20]Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro: PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks. SAC 2003: 380-386
- 2002
- [j12]Nadia Busi, Gianluigi Zavattaro: On the Expressiveness of Movement in Pure Mobile Ambients. Electr. Notes Theor. Comput. Sci. 66(3): 22-36 (2002)
- [j11]Marco Bernardo, Nadia Busi, Marina Ribaudo: Integrating TwoTowers and GreatSPN through a compact net semantics. Perform. Eval. 50(2/3): 153-187 (2002)
- [j10]Nadia Busi: Analysis issues in Petri nets with inhibitor arcs. Theor. Comput. Sci. 275(1-2): 127-177 (2002)
- [c19]Nadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro: State- and Event-Based Reactive Programming in Shared Dataspaces. COORDINATION 2002: 111-124
- [c18]Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro: Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems. NETWORKING Workshops 2002: 295-299
- [c17]Nadia Busi, Gianluigi Zavattaro: On the serializability of transactions in shared dataspaces with temporary data. SAC 2002: 359-366
- 2001
- [j9]Nadia Busi, Gianluigi Zavattaro: On the Serializability of Transactions in JavaSpaces. Electr. Notes Theor. Comput. Sci. 54: 92-105 (2001)
- [j8]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)
- [p1]Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro: Coordination Models: A Guided Tour. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 6-24
- [c16]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Temporary Data in Shared Dataspace Coordination Languages. FoSSaCS 2001: 121-136
- [c15]Nadia Busi, Gianluigi Zavattaro: Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?. WETICE 2001: 328-333
- 2000
- [j7]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)
- [j6]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Expressiveness of Linda Coordination Primitives. Inf. Comput. 156(1-2): 90-121 (2000)
- [j5]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Comparing three semantics for Linda-like languages. Theor. Comput. Sci. 240(1): 49-90 (2000)
- [c14]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Process Calculi for Coordination: From Linda to JavaSpaces. AMAST 2000: 198-212
- [c13]Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna: Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. CONCUR 2000: 442-457
- [c12]Nadia Busi, Gianluigi Zavattaro: On the Expressiveness of Event Notification in Data-Driven Coordination Languages. ESOP 2000: 41-55
- [c11]
- [c10]Marco Bernardo, Marina Ribaudo, Nadia Busi: Compact Net Semantics for Process Algebras. FORTE 2000: 319-334
- [c9]Marco Bernardo, Nadia Busi, Marina Ribaudo: Integrating Two Towers and GreatSPN. ICALP Satellite Workshops 2000: 551-564
- [c8]Nadia Busi, Gianluigi Zavattaro: Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations. SAC (1) 2000: 233-239
1990 – 1999
- 1999
- [j4]Nadia Busi, G. Michele Pinna: Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs. Fundam. Inform. 40(2-3): 165-197 (1999)
- [c7]
- 1998
- [j3]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: A Process Algebraic View of Linda Coordination Primitives. Theor. Comput. Sci. 192(2): 167-199 (1998)
- 1997
- [j2]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Turing equivalence of Linda coordination primitives. Electr. Notes Theor. Comput. Sci. 7: 75 (1997)
- [c6]
- [c5]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Three Semantics of the Output Operation for Generative Communication. COORDINATION 1997: 205-219
- 1996
- [c4]Nadia Busi, G. Michele Pinna: Non Sequential Semantics for Contextual P/T Nets. Application and Theory of Petri Nets 1996: 113-132
- 1995
- [j1]Marco Bernardo, Nadia Busi, Roberto Gorrieri: A Distributed Semantics for EMPA Based on Stochastic Contextual Nets. Comput. J. 38(7): 492-509 (1995)
- [c3]
- 1994
- [c2]Nadia Busi, Roberto Gorrieri: Distributed Conflicts in Communicating Systems. ECOOP Workshop 1994: 49-65
- [c1]Nadia Busi, Rob J. van Glabbeek, Roberto Gorrieri: Axiomatising ST-Bisimulation Equivalence. PROCOMET 1994: 169-188
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:47 CET by the dblp team