default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNadia Busi
Person information
- 1968-2007
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2009
[j27]Nadia Busi, Roberto Gorrieri
:
Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs. J. Log. Algebraic Methods Program. 78(3): 138-162 (2009)- [j26]Nadia Busi, Roberto Gorrieri:
Structural non-interference in elementary and trace nets. Math. Struct. Comput. Sci. 19(6): 1065-1090 (2009) - [j25]Nadia Busi, G. Michele Pinna:
Process discovery and Petri nets. Math. Struct. Comput. Sci. 19(6): 1091-1124 (2009) - [j24]Nadia Busi, Miguel Angel Gutiérrez-Naranjo, Mario J. Pérez-Jiménez:
Efficient computation in rational-valued P systems. Math. Struct. Comput. Sci. 19(6): 1125-1139 (2009) - [j23]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): 1141-1160 (2009) - [j22]Cristian Versari, Nadia Busi, Roberto Gorrieri:
An expressiveness study of priority in process calculi. Math. Struct. Comput. Sci. 19(6): 1161-1189 (2009) - [j21]Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro:
On the expressive power of recursion, replication and iteration in process calculi. Math. Struct. Comput. Sci. 19(6): 1191-1222 (2009) - [j20]Nadia Busi, Gianluigi Zavattaro:
Deciding reachability problems in Turing-complete fragments of Mobile Ambients. Math. Struct. Comput. Sci. 19(6): 1223-1263 (2009) - [j19]Andrea Asperti, Nadia Busi:
Mobile Petri nets. Math. Struct. Comput. Sci. 19(6): 1265-1278 (2009) - [j18]Nadia Busi, Claudio Zandron:
Computational expressiveness of Genetic Systems. Theor. Comput. Sci. 410(4-5): 286-293 (2009) - [j17]Cristian Versari, Nadia Busi:
Stochastic biological modelling in the presence of multiple compartments. Theor. Comput. Sci. 410(33-34): 3039-3064 (2009) - 2008
- [j16]Nadia Busi, Gianluigi Zavattaro:
A process algebraic view of shared dataspace coordination. J. Log. Algebraic Methods Program. 75(1): 52-85 (2008) - [j15]Nadia Busi, Claudio Zandron:
Foreword. Theor. Comput. Sci. 404(1-2): 3-4 (2008) - 2007
- [j14]Nadia Busi:
Using well-structured transition systems to decide divergence for catalytic P systems. Theor. Comput. Sci. 372(2-3): 125-135 (2007) - [c56]Nadia Busi, Claudio Zandron:
Computing with Genetic Gates. CiE 2007: 105-114 - [c55]Cristian Versari, Nadia Busi:
Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. CMSB 2007: 80-95 - [c54]Cristian Versari, Nadia Busi, Roberto Gorrieri:
On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR 2007: 241-255 - [c53]Nadia Busi, Claudio Zandron:
On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation. FCT 2007: 173-186 - [c52]Nadia Busi, Claudio Zandron:
Genetic Systems without Inhibition Rules. ILC 2007: 21-31 - [c51]Nadia Busi:
Causality in Membrane Systems. Workshop on Membrane Computing 2007: 160-171 - [c50]Cristian Versari, Nadia Busi:
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. FBTC@CONCUR 2007: 165-180 - [e2]Nadia Busi, Claudio Zandron:
Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC@ICALP 2006, Venice, Italy, July 9, 2006. Electronic Notes in Theoretical Computer Science 171(2), Elsevier 2007 [contents] - 2006
- [j13]Nadia Busi, Roberto Gorrieri:
On the Computational Power of Brane Calculi. Trans. Comp. Sys. Biology 6: 16-43 (2006) - [c49]Nadia Busi:
Deciding Behavioural Properties in Brane Calculi. CMSB 2006: 17-31 - [c48]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Choreography and Orchestration Conformance for System Design. COORDINATION 2006: 63-81 - [c47]Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro:
: A Calculus for Service Oriented Computing. ICSOC 2006: 327-338 - [c46]Nadia Busi, Miguel Angel Gutiérrez-Naranjo:
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers. Workshop on Membrane Computing 2006: 233-249 - [c45]Nadia Busi, Claudio Zandron:
Computing with Genetic Gates, Proteins, and Membranes. Workshop on Membrane Computing 2006: 250-265 - [c44]Nadia Busi, Miguel Angel Gutiérrez-Naranjo:
Some Notes on (Mem)Brane Computation. PPSN 2006: 262-271 - [c43]Nadia Busi, G. Michele Pinna:
Characterizing Workflow Nets Using Regions. SYNASC 2006: 399-406 - [c42]Nadia Busi, Claudio Zandron:
Modeling and analysis of biological processes by mem(brane) calculi and systems. WSC 2006: 1646-1655 - [c41]Nadia Busi, Claudio Zandron:
Preface. MeCBIC@ICALP 2006: 1-2 - [c40]Nadia Busi:
Expressiveness Issues in Brane Calculi: A Survey. LIX 2006: 107-124 - 2005
- [c39]Nadia Busi, Gianluigi Zavattaro:
Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. COORDINATION 2005: 204-219 - [c38]Nadia Busi, Gianluigi Zavattaro:
Deciding Reachability in Mobile Ambients. ESOP 2005: 248-262 - [c37]Nadia Busi, Luca Padovani:
A Distributed Implementation of Mobile Nets as Mobile Agents. FMOODS 2005: 259-274 - [c36]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Choreography and Orchestration: A Synergic Approach for System Design. ICSOC 2005: 228-240 - [c35]Nadia Busi, Gianluigi Zavattaro:
Reachability Analysis in Boxed Ambients. ICTCS 2005: 143-159 - [c34]Nadia Busi:
On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism. Workshop on Membrane Computing 2005: 144-158 - [c33]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Towards a formal framework for Choreography. WETICE 2005: 107-112 - [c32]Nadia Busi, Gianluigi Zavattaro:
A Process Algebraic View of Coordination. APC 25 2005: 141-145 - [e1]Nadia Busi, Roberto Gorrieri, Fabio Martinelli:
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004. Electronic Notes in Theoretical Computer Science 121, Elsevier 2005 [contents] - 2004
- [j12]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) - [j11]Nadia Busi, Gianluigi Zavattaro:
On the expressive power of movement and restriction in pure mobile ambients. Theor. Comput. Sci. 322(3): 477-515 (2004) - [j10]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) - [c31]Nadia Busi, Roberto Gorrieri:
Positive Non-interference in Elementary and Trace Nets. ICATPN 2004: 1-16 - [c30]Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro:
Comparing Recursion, Replication, and Iteration in Process Calculi. ICALP 2004: 307-319 - [c29]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 - [c28]Nadia Busi, Roberto Gorrieri, Fabio Martinelli:
Preface. WISP@ICATPN 2004: 1-2 - 2003
- [j9]Nadia Busi, Gianluigi Zavattaro:
Expired data collection in shared dataspaces. Theor. Comput. Sci. 298(3): 529-556 (2003) - [c27]Nadia Busi, Roberto Gorrieri:
A Survey on Non-interference with Petri Nets. Lectures on Concurrency and Petri Nets 2003: 328-344 - [c26]Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro:
Replication vs. Recursive Definitions in Channel Based Calculi. ICALP 2003: 133-144 - [c25]Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro:
PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks. SAC 2003: 380-386 - 2002
- [j8]Marco Bernardo, Nadia Busi, Marina Ribaudo:
Integrating TwoTowers and GreatSPN through a compact net semantics. Perform. Evaluation 50(2/3): 153-187 (2002) - [j7]Nadia Busi:
Analysis issues in Petri nets with inhibitor arcs. Theor. Comput. Sci. 275(1-2): 127-177 (2002) - [c24]Nadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro:
State- and Event-Based Reactive Programming in Shared Dataspaces. COORDINATION 2002: 111-124 - [c23]Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro:
Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems. NETWORKING Workshops 2002: 295-299 - [c22]Nadia Busi, Gianluigi Zavattaro:
On the serializability of transactions in shared dataspaces with temporary data. SAC 2002: 359-366 - [c21]Nadia Busi, Gianluigi Zavattaro:
On the Expressiveness of Movement in Pure Mobile Ambients. F-WAN@ICALP 2002: 22-36 - [c20]Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. FOCLASA 2002: 310-327 - 2001
- [c19]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Temporary Data in Shared Dataspace Coordination Languages. FoSSaCS 2001: 121-136 - [c18]Nadia Busi, Gianluigi Zavattaro:
Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?. WETICE 2001: 328-333 - [c17]Nadia Busi, Gianluigi Zavattaro:
On the Serializability of Transactions in JavaSpaces. ConCoord 2001: 92-105 - [c16]Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro:
Comparative analysis of the expressiveness of shared dataspace coordination. TOSCA 2001: 102-115 - [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 - 2000
- [j6]Nadia Busi, G. Michele Pinna:
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs. Fundam. Informaticae 44(3): 209-244 (2000) - [j5]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
On the Expressiveness of Linda Coordination Primitives. Inf. Comput. 156(1-2): 90-121 (2000) - [j4]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Comparing three semantics for Linda-like languages. Theor. Comput. Sci. 240(1): 49-90 (2000) - [c15]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Process Calculi for Coordination: From Linda to JavaSpaces. AMAST 2000: 198-212 - [c14]Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna:
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. CONCUR 2000: 442-457 - [c13]Nadia Busi, Gianluigi Zavattaro:
On the Expressiveness of Event Notification in Data-Driven Coordination Languages. ESOP 2000: 41-55 - [c12]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
On the Semantics of JavaSpaces. FMOODS 2000: 3-19 - [c11]Marco Bernardo, Marina Ribaudo, Nadia Busi:
Compact Net Semantics for Process Algebras. FORTE 2000: 319-334 - [c10]Marco Bernardo, Nadia Busi, Marina Ribaudo:
Integrating Two Towers and GreatSPN. ICALP Satellite Workshops 2000: 551-564 - [c9]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
- [j3]Nadia Busi, G. Michele Pinna:
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs. Fundam. Informaticae 40(2-3): 165-197 (1999) - [c8]Nadia Busi:
Mobile Nets. FMOODS 1999 - 1998
- [j2]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
A Process Algebraic View of Linda Coordination Primitives. Theor. Comput. Sci. 192(2): 167-199 (1998) - 1997
- [c7]Nadia Busi, G. Michele Pinna:
Synthesis of Nets with Inhibitor Arcs. CONCUR 1997: 151-165 - [c6]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Three Semantics of the Output Operation for Generative Communication. COORDINATION 1997: 205-219 - [c5]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
On the Turing equivalence of Linda coordination primitives. EXPRESS 1997: 75 - 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]Nadia Busi, Roberto Gorrieri:
A Petri Net Semantics for pi-Calculus. CONCUR 1995: 145-159 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
