Hostname: page-component-6d856f89d9-fb4gq Total loading time: 0 Render date: 2024-07-16T06:20:36.718Z Has data issue: false hasContentIssue false
  • English
  • Français

Nadia Busi's publications

Published online by Cambridge University Press:  04 December 2009

GIANLUIGI ZAVATTARO
GIANLUIGI ZAVATTARO*
Affiliation:
Dip. di Scienze dell'Informazione, Univ. di Bologna, Mura A.Zamboni 7, 40127 Bologna, Italy Email: zavattar@cs.unibo.it
Get access Rights & Permissions [Opens in a new window]

Extract

We conclude this special issue of Mathematical Structures in Computer Science with a list of Nadia Busi's scientific output (excluding the papers in the current volume).

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 19 , Special Issue 6: Dedicated to Nadia Busi , December 2009 , pp. 1279 - 1284
Copyright
Copyright © Cambridge University Press 2009

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Journal publications

Busi, N. and Gorrieri, R. (2009) Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs. Journal of Logic and Algebraic Programming 78 (3)138–162.CrossRefGoogle Scholar
Busi, N. and Zandron, C. (2009) Computational expressiveness of genetic systems. Theor. Comput. Sci. 410 (4–5)286–293.CrossRefGoogle Scholar
Versari, C. and Busi, N. (2009) Stochastic biological modelling in the presence of multiple compartments. Theor. Comput. Sci. 410 (33–34)3039–3064.CrossRefGoogle Scholar
Busi, N. and Zavattaro, G. (2008) A process algebraic view of shared dataspace coordination. J. Log. Algebr. Program. 75 (1)52–85.CrossRefGoogle Scholar
Busi, N. (2007) Using well-structured transition systems to decide divergence for catalytic P systems. Theor. Comput. Sci. 372 (2–3)125–135.CrossRefGoogle Scholar
Busi, N. and Gorrieri, R. (2006) On the computational power of brane calculi. Transactions on Computational Systems Biology VI. Springer-Verlag Lecture Notes in Computer Science 4220 16–43.CrossRefGoogle Scholar
Baldan, P., Busi, N., Corradini, A. and Pinna, G. M. (2004) Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comput. Sci. 323 (1–3)129–189.CrossRefGoogle Scholar
Busi, N., Montresor, A. and Zavattaro, G. (2004) Data-driven coordination in peer-to-peer information systems. Int. J. Cooperative Inf. Syst. 13 (1)63–89.CrossRefGoogle Scholar
Busi, N. and Zavattaro, G. (2004) On the expressive power of movement and restriction in pure mobile ambients. Theor. Comput. Sci. 322 (3)477–515.CrossRefGoogle Scholar
Busi, N. and Zavattaro, G. (2003) Expired data collection in shared dataspaces. Theor. Comput. Sci. 3 (298)529–556.CrossRefGoogle Scholar
Busi, N. (2002) Analysis issues in Petri nets with inhibitor arcs. Theor. Comput. Sci. 275 (1–2)127–177.CrossRefGoogle Scholar
Bernardo, M., Busi, N. and Ribaudo, M. (2002) Integrating TwoTowers and GreatSPN through a compact net semantics. Perform. Eval. 50 (2/3) 153–187.CrossRefGoogle Scholar
Busi, N., Gorrieri, R. and Zavattaro, G. (2000) Comparing three semantics for Linda-like languages. Theor. Comput. Sci. 240 (1)49–90.CrossRefGoogle Scholar
Busi, N., Gorrieri, R. and Zavattaro, G. (2000) On the expressiveness of Linda coordination primitives. Inf. Comput. 156 (1–2)90–121.CrossRefGoogle Scholar
Busi, N. and Pinna, G. M. (2000) Comparing truly concurrent semantics for contextual place/transition nets with inhibitor and read arcs. Fundam. Inform. 44 (3)209–244.Google Scholar
Busi, N. and Pinna, G. M. (1999) Process semantics for place/transition nets with inhibitor and read arcs. Fundam. Inform. 40 (2–3)165–197.CrossRefGoogle Scholar
Busi, N., Gorrieri, R. and Zavattaro, G. (1998) A process algebraic view of Linda coordination primitives. Theor. Comput. Sci. 192 (2)167–199.CrossRefGoogle Scholar
Bernardo, M., Busi, N. and Gorrieri, R. (1995) A distributed semantics for EMPA based on stochastic contextual nets, Comput. J. 38 (7)492–509.CrossRefGoogle Scholar

Chapters in books

Busi, N. and Gorrieri, R. (2004) A survey on non-interference with Petri nets. In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets. Springer-Verlag Lecture Notes in Computer Science 3098 328–344.CrossRefGoogle Scholar
Busi, N., Ciancarini, P., Gorrieri, R. and Zavattaro, G. (2001) Coordination models: A guided tour. Coordination of Internet Agents: Models, Technologies, and Applications, Springer-Verlag 6–24.CrossRefGoogle Scholar

Invited papers at conferences

Bravetti, M., Busi, N., Gorrieri, R., Lucchi, R. and Zavattaro, G. (2004) Security issues in the tuple-space coordination model. In: Proceedings of Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), Springer-Verlag 1–12.Google Scholar
Busi, N. and Gorrieri, R. (2004) Positive non-interference in elementary and trace nets. In: Proceedings of Applications and Theory of Petri Nets, 25th International Conference, ICATPN 2004. Springer-Verlag Lecture Notes in Computer Science 3099 1–16.CrossRefGoogle Scholar
Busi, N., Gorrieri, R. and Zavattaro, G. (2000) On the semantics of Javaspaces. In: Proceedings of Formal Methods for Open Object-Based Distributed Systems (FMOODS'00). IFIP Conference Proceedings 177 3–19.Google Scholar

Editor of workshop proceedings and special issues

Busi, N. and Zandron, C. (2008) Editors of the special issue devoted to the first workshop on membrane computing and bio-inspired process calculi (MeCBIC 2006). Theor. Comput. Sci. 404 (1–2).Google Scholar
Busi, N. and Zandron, C. (2007) Editors of the proceedings of the first workshop on membrane computing and biologically inspired process calculi (MeCBIC 2006). Electr. Notes Theor. Comput. Sci. 171 (2).Google Scholar
Busi, N., Gorrieri, R. and Martinelli, F. (2005) Editors of the proceedings of the 2nd international workshop on security issues with Petri nets and other computational models (WISP 2004). Electr. Notes Theor. Comput. Sci. 121.Google Scholar

Contributions to conferences and workshops

Busi, N. (2008) Expressiveness issues in brane calculi: A survey. In: Proceedings of LIX Colloquium on Emerging Trends in Concurrency Theory (LIX 2006). Electr. Notes Theor. Comput. Sci. 209 107–124.CrossRefGoogle Scholar
Versari, C. and Busi, N. (2008) Efficient stochastic simulation of biological systems with multiple variable volumes. In: Proceedings of First Workshop From Biology To Concurrency and Back (FBTC 2007). Electr. Notes Theor. Comput. Sci. 194 (3)165–180.CrossRefGoogle Scholar
Busi, N. (2007) Causality in membrane systems. In: Revised Selected and Invited Papers from Membrane Computing, 8th International Workshop, WMC 2007. Springer-Verlag Lecture Notes in Computer Science 4860 160–171.CrossRefGoogle Scholar
Busi, N. (2007) Towards a causal semantics for brane calculi. Fifth Brainstorming Week on Membrane Computing, Fénix Editora 97–111.Google Scholar
Busi, N. and Zandron, C. (2007) On the computational power of genetic gates with interleaving semantics: The power of inhibition and degradation. In: Proceedings of Fundamentals of Computation Theory, 16th International Symposium, FCT 2007. Springer-Verlag Lecture Notes in Computer Science 4639 173–186.CrossRefGoogle Scholar
Busi, N. and Zandron, C. (2007) Computing with genetic gates: the power of decaying objects. In: Proceedings of Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007. Springer-Verlag Lecture Notes in Computer Science 4497 105–114.CrossRefGoogle Scholar
vanAAADongen, B. F., Busi, N., Pinna, G. M. and vanAAAderAAAAalst, W. M. P. (2007) An iterative algorithm for applying the theory of regions in process mining. In: Proceedings of Workshop on Formal Approaches to Business Processes and Web Services (FABPWS'07), Publishing House of University of Podlasie, Siedlce, Poland 36–55.Google Scholar
Versari, C. and Busi, N. (2007) Stochastic simulation of biological systems with dynamical compartment structure. In: Proceedings of Computational Methods in Systems Biology, International Conference, CMSB 2007. Springer-Verlag Lecture Notes in Computer Science 4695 80–95.CrossRefGoogle Scholar
Versari, C., Busi, N. and Gorrieri, R. (2007) On the expressive power of global and local priority in process calculi. In: Proceedings of CONCUR 2007 – Concurrency Theory, 18th International Conference. Springer-Verlag Lecture Notes in Computer Science 4703 241–255.CrossRefGoogle Scholar
Busi, N. (2006) Deciding behavioural properties in brane calculi. In: Proceedings of Computational Methods in Systems Biology, International Conference, CMSB 2006. Springer-Verlag Lecture Notes in Computer Science 4210 17–31.CrossRefGoogle Scholar
Besozzi, D., Busi, N., Franco, G., Freund, R. and Paun, G. (2006) Two universality results for (mem)brane systems. Fourth Brainstorming Week on Membrane Computing, Fénix Editora 49–62.Google Scholar
Busi, N., Gorrieri, R., Guidi, C., Lucchi, R. and Zavattaro, G. (2006) Choreography and orchestration conformance for system design. In: Proceedings of Coordination Models and Languages, 8th International Conference, COORDINATION 2006. Springer-Verlag Lecture Notes in Computer Science 4038 63–81.CrossRefGoogle Scholar
Busi, N. and Gutiérrez-Naranjo, M. A. (2006) Some notes on (mem)brane computation. In: Proceedings of Parallel Problem Solving from Nature – PPSN IX, 9th International Conference. Springer-Verlag Lecture Notes in Computer Science 4193 262–271.CrossRefGoogle Scholar
Busi, N. and Gutiérrez-Naranjo, M. A. (2006) A case study in (mem)brane computation: Generating squares of natural numbers. In: Revised Selected and Invited Papers from Membrane Computing, 7th International Workshop, WMC 2006. Springer-Verlag Lecture Notes in Computer Science 4361 233–249.CrossRefGoogle Scholar
Busi, N. and Pinna, G. M. (2006) Characterizing workflow nets using regions. In: Proceedings of 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), IEEE Computer Society 399–406.CrossRefGoogle Scholar
Busi, N. and Zandron, C. (2006) Modeling and analysis of biological processes by mem(brane) calculi and systems. In: Proceedings of Winter Simulation Conference WSC 2006 1646–1655.CrossRefGoogle Scholar
Busi, N. and Zandron, C. (2006) Computing with genetic gates, proteins, and membranes. In: Revised Selected and Invited Papers from Membrane Computing, 7th International Workshop, WMC 2006. Springer-Verlag Lecture Notes in Computer Science 4361 250–265.CrossRefGoogle Scholar
Busi, N. and Zavattaro, G. (2006) A process algebraic view of coordination. In: Proceedings of Algebraic Process Calculi: The First Twenty Five Years and Beyond. Electr. Notes Theor. Comput. Sci. 162 141–145.CrossRefGoogle Scholar
Guidi, C., Lucchi, R., Gorrieri, R., Busi, N. and Zavattaro, G. (2006) Sock: A calculus for service oriented computing. In: Proceedings of Service-Oriented Computing – ICSOC 2006, 4th International Conference. Springer-Verlag Lecture Notes in Computer Science 4294 327–338.CrossRefGoogle Scholar
Busi, N. (2005) On the computational power of the mate/bud/drip brane calculus: Interleaving vs. maximal parallelism. In: Revised Selected and Invited Papers from Membrane Computing, 6th International Workshop, WMC 2005. Springer-Verlag Lecture Notes in Computer Science 3850 144–158.CrossRefGoogle Scholar
Busi, N. and Gorrieri, R. (2005) On the computational power of brane calculi. In: Proceedings of Third International Workshop on Computational Methods in Systems Biology (CMSB'05).CrossRefGoogle Scholar
Busi, N., Gorrieri, R., Guidi, C., Lucchi, R. and Zavattaro, G. (2005) Towards a formal framework for choreography. In: Proceedings of 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), IEEE Computer Society 107–112.CrossRefGoogle Scholar
Busi, N., Gorrieri, R., Guidi, C., Lucchi, R. and Zavattaro, G. (2005) Choreography and orchestration: A synergic approach for system design. In: Proceedings of Service-Oriented Computing – ICSOC 2005, Third International Conference. Springer-Verlag Lecture Notes in Computer Science 3826 228–240.CrossRefGoogle Scholar
Busi, N. and Padovani, L. (2005) A distributed implementation of mobile nets as mobile agents. In: Proceedings of Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005. Springer-Verlag Lecture Notes in Computer Science 3535 259–274.CrossRefGoogle Scholar
Busi, N. and Zavattaro, G. (2005) Reachability analysis in boxed ambients. In: Proceedings of Theoretical Computer Science, 9th Italian Conference, ICTCS 2005. Springer-Verlag Lecture Notes in Computer Science 3701 143–159.CrossRefGoogle Scholar
Busi, N. and Zavattaro, G. (2005) Deciding reachability in mobile ambients. In: Proceedings of Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005. Springer-Verlag Lecture Notes in Computer Science 3444 248–262.CrossRefGoogle Scholar
Busi, N. and Zavattaro, G. (2005) Prioritized and parallel reactions in shared data space coordination languages. In: Proceedings of Coordination Models and Languages, 7th International Conference, COORDINATION 2005. Springer-Verlag Lecture Notes in Computer Science 3454 204–219.CrossRefGoogle Scholar
Busi, N., Gabbrielli, M. and Zavattaro, G. (2004) Comparing recursion, replication, and iteration in process calculi, In: Proceedings of Automata, Languages and Programming: 31st International Colloquium, ICALP 2004. Springer-Verlag Lecture Notes in Computer Science 3142 307–319.CrossRefGoogle Scholar
Busi, N. and Gorrieri, R. (2004) Structural non-interference with Petri nets. In: Proceedings of Fourth Workshop on Issues on the Theory of Security (WITS'04).CrossRefGoogle Scholar
Busi, N., Gabbrielli, M. and Zavattaro, G. (2003) Replication vs. recursive definitions in channel based calculi. In: Proceedings of Automata, Languages and Programming, 30th International Colloquium, ICALP 2003. Springer-Verlag Lecture Notes in Computer Science 2719 133–144.CrossRefGoogle Scholar
Busi, N., Gorrieri, R., Lucchi, R. and Zavattaro, G. (2003) Secspaces: a data-driven coordination model for environments open to untrusted agents. In: Proceedings of 1st International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'02). Electr. Notes Theor. Comput. Sci. 68 (3).CrossRefGoogle Scholar
Busi, N., Manfredini, C., Montresor, A. and Zavattaro, G. (2003) Peerspaces: Data-driven coordination in peer-to-peer networks. In: Proceedings of 2003 ACM Symposium on Applied Computing (SAC'03), ACM Press 380–386.CrossRefGoogle Scholar
Busi, N., Manfredini, C., Montresor, A. and Zavattaro, G. (2002) Towards a data-driven coordination infrastructure for peer-to-peer systems. In: Revised Papers from Engineering and Peer-to-Peer Computing, NETWORKING 2002 Workshops. Springer-Verlag Lecture Notes in Computer Science 2376 295–299.CrossRefGoogle Scholar
Busi, N., Rowstron, A. I. T. and Zavattaro, G. (2002) State- and event-based reactive programming in shared dataspaces, In: Proceedings of Coordination Models and Languages, 5th International Conference, COORDINATION 2002. Springer-Verlag Lecture Notes in Computer Science 2315 111–124.CrossRefGoogle Scholar
Busi, N. and Zavattaro, G. (2002) On the serializability of transactions in shared dataspaces with temporary data. In: Proceedings of 2002 ACM Symposium on Applied Computing (SAC'02), ACM Press 359–366.CrossRefGoogle Scholar
Busi, N. and Zavattaro, G. (2002) On the expressiveness of movement in pure mobile ambients. In: Proceedings of F-WAN: Foundations of Wide Area Network Computing. Electr. Notes Theor. Comput. Sci. 66 (3).CrossRefGoogle Scholar
Brogi, A., Busi, N., Gabbrielli, M. and Zavattaro, G. (2001) Comparative analysis of the expressiveness of shared dataspace coordination. In: Proceedings of Workshop in Theory of Concurrency, Higher Order Languages and Types (TOSCA'01). Electr. Notes Theor. Comput. Sci. 62.Google Scholar
Busi, N., Gorrieri, R. and Zavattaro, G. (2001) Temporary data in shared dataspace coordination languages. In: Proceedings of Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001. Springer-Verlag Lecture Notes in Computer Science 2030 121–136.CrossRefGoogle Scholar
Busi, N. and Zavattaro, G. (2001) Publish/subscribe vs. shared dataspace coordination infrastructures: Is it just a matter of taste? In: Proceedings of 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), IEEE Computer Society 328–333.Google Scholar
Busi, N. and Zavattaro, G. (2001) Some thoughts on transiently shared dataspaces. In: Proceedings of Workshop on Software Engineering and Mobility, co-located with ICSE'01.Google Scholar
Busi, N. and Zavattaro, G. (2001) On the serializability of transactions in Javaspaces. In: Proceedings of International Workshop on Concurrency and Coordination (CONCOORD'01). Electr. Notes Theor. Comput. Sci. 54.Google Scholar
Baldan, P., Busi, N., Corradini, A. and Pinna, G. M. (2000) Functorial concurrent semantics for Petri nets with read and inhibitor arcs. In: Proceedings of CONCUR 2000 – Concurrency Theory, 11th International Conference. Springer-Verlag Lecture Notes in Computer Science 1877 442–457.CrossRefGoogle Scholar
Bernardo, M., Busi, N. and Ribaudo, M. (2000) Integrating TwoTowers and GreatSPN. In: Proceedings of PAPM '00: 8th Int. Workshop on Process Algebras and Performance Modelling, Carleton Scientific 551–564.Google Scholar
Bernardo, M., Ribaudo, M. and Busi, N. (2000) Compact net semantics for process algebras. In: Proceedings of Formal Techniques for Distributed System Development, FORTE/PSTV 2000. IFIP Conference Proceedings 183 319–334.Google Scholar
Busi, N., Gorrieri, R. and Zavattaro, G. (2000) Process calculi for coordination: From Linda to Javaspaces. In: Proceedings of Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000. Springer-Verlag Lecture Notes in Computer Science 1816 198–212.CrossRefGoogle Scholar
Busi, N. and Zavattaro, G. (2000) Event notification in data-driven coordination languages: Comparing the ordered and unordered interpretations. In: Proceedings of ACM Symposium on Applied Computing (SAC'00), ACM Press 233–239.Google Scholar
Busi, N. and Zavattaro, G. (2000) On the expressiveness of event notification in data-driven coordination languages. In: Proceedings of Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000. Springer-Verlag Lecture Notes in Computer Science 1782 41–55.CrossRefGoogle Scholar
Busi, N. (1999) Mobile nets. In: Proceedings of Formal Methods for Open Object-Based Distributed Systems, (FMOODS'99). IFIP Conference Proceedings 139.Google Scholar
Busi, N., Gorrieri, R. and Zavattaro, G. (1997) On the Turing equivalence of Linda coordination primitives. In: Proceedings of EXPRESS '97: Expressiveness in Concurrency, 4th International Workshop. Electr. Notes Theor. Comput. Sci. 7.CrossRefGoogle Scholar
Busi, N., Gorrieri, R. and Zavattaro, G. (1997) Three semantics of the output operation for generative communication, In: Proceedings of Coordination Languages and Models, Second International Conference, COORDINATION '97. Springer-Verlag Lecture Notes in Computer Science 1282 205–219.CrossRefGoogle Scholar
Busi, N. and Pinna, G. M. (1997) Synthesis of nets with inhibitor arcs. In: Proceedings of CONCUR'97 – Concurrency Theory, 8th International Conference. Springer-Verlag Lecture Notes in Computer Science 1243 151–165.CrossRefGoogle Scholar
Busi, N. and Pinna, G. M. (1996) Non-sequential semantics for contextual P/T nets. In: Proceedings of Application and Theory of Petri Nets 1996, 17th International Conference. Springer-Verlag Lecture Notes in Computer Science 1091 113–132.CrossRefGoogle Scholar
Busi, N. and Gorrieri, R. (1995) A Petri net semantics for π-calculus. In: Proceedings of CONCUR'95 – Concurrency Theory, 6th International Conference. Springer-Verlag Lecture Notes in Computer Science 962 145–159.CrossRefGoogle Scholar
Busi, N. and Pinna, G. M. (1995) A causal semantics for contextual P/T nets. In: Proceedings of Quinta Conferenza Italiana di Informatica Teorica, World Scientific 311–325.Google Scholar
Busi, N., van Glabbeek, R. J. and Gorrieri, R. (1994) Axiomatising ST-bisimulation equivalence. In: Proceedings of Programming Concepts, Methods and Calculi, IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET'94). IFIP Transactions A-56 169–188.Google Scholar
Busi, N. and Gorrieri, R. (1994) Distributed conflicts in communicating systems. In: Selected Papers from Object-Based Models and Languages for Concurrent Systems, ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution. Springer-Verlag Lecture Notes in Computer Science 924 49–65.CrossRefGoogle Scholar

Thesis

Busi, N. (1998) Petri nets with inhibitor and read arcs: semantics, analysis and application to process calculi, Ph.D. thesis, Dipartimento di Matematica, Università di Siena, Italy.Google Scholar
Busi, N. (1993) Raffinamento di azioni in linguaggi concorrenti, Master's thesis (in Italian), Università di Bologna, Italy.Google Scholar