Остановите войну!
for scientists:
default search action
Nadia Busi
- > Home > Persons > Nadia Busi
Publications
- 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) - [j22]Cristian Versari, Nadia Busi, Roberto Gorrieri:
An expressiveness study of priority in process calculi. Math. Struct. Comput. Sci. 19(6): 1161-1189 (2009) - 2007
- [c54]Cristian Versari, Nadia Busi, Roberto Gorrieri:
On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR 2007: 241-255 - 2006
- [j13]Nadia Busi, Roberto Gorrieri:
On the Computational Power of Brane Calculi. Trans. Comp. Sys. Biology 6: 16-43 (2006) - [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 - 2005
- [c36]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Choreography and Orchestration: A Synergic Approach for System Design. ICSOC 2005: 228-240 - [c33]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Towards a formal framework for Choreography. WETICE 2005: 107-112 - [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
- [c31]Nadia Busi, Roberto Gorrieri:
Positive Non-interference in Elementary and Trace Nets. ICATPN 2004: 1-16 - [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
- [c27]Nadia Busi, Roberto Gorrieri:
A Survey on Non-interference with Petri Nets. Lectures on Concurrency and Petri Nets 2003: 328-344 - 2002
- [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 - [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
- [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 - [c12]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
On the Semantics of JavaSpaces. FMOODS 2000: 3-19 - 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
- [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 - 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
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 2023-09-28 02:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint