Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nadia Busi
@article{DBLP:journals/jlp/BusiG09,
author = {Nadia Busi and
Roberto Gorrieri},
title = {Distributed semantics for the pi-calculus based on Petri nets with
inhibitor arcs},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {3},
pages = {138--162},
year = {2009},
url = {https://doi.org/10.1016/j.jlap.2008.08.002},
doi = {10.1016/J.JLAP.2008.08.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BusiG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BusiG09,
author = {Nadia Busi and
Roberto Gorrieri},
title = {Structural non-interference in elementary and trace nets},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {6},
pages = {1065--1090},
year = {2009},
url = {https://doi.org/10.1017/S0960129509990120},
doi = {10.1017/S0960129509990120},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BusiG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BusiP09,
author = {Nadia Busi and
G. Michele Pinna},
title = {Process discovery and Petri nets},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {6},
pages = {1091--1124},
year = {2009},
url = {https://doi.org/10.1017/S0960129509990132},
doi = {10.1017/S0960129509990132},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BusiP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BusiGP09,
author = {Nadia Busi and
Miguel A. Guti{\'{e}}rrez{-}Naranjo and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez},
title = {Efficient computation in rational-valued {P} systems},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {6},
pages = {1125--1139},
year = {2009},
url = {https://doi.org/10.1017/S0960129509990144},
doi = {10.1017/S0960129509990144},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BusiGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BesozziBCFLMPZ09,
author = {Daniela Besozzi and
Nadia Busi and
Paolo Cazzaniga and
Claudio Ferretti and
Alberto Leporati and
Giancarlo Mauri and
Dario Pescini and
Claudio Zandron},
title = {(Tissue) {P} systems with cell polarity},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {6},
pages = {1141--1160},
year = {2009},
url = {https://doi.org/10.1017/S0960129509990156},
doi = {10.1017/S0960129509990156},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/BesozziBCFLMPZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/VersariBG09,
author = {Cristian Versari and
Nadia Busi and
Roberto Gorrieri},
title = {An expressiveness study of priority in process calculi},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {6},
pages = {1161--1189},
year = {2009},
url = {https://doi.org/10.1017/S0960129509990168},
doi = {10.1017/S0960129509990168},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/VersariBG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BusiGZ09,
author = {Nadia Busi and
Maurizio Gabbrielli and
Gianluigi Zavattaro},
title = {On the expressive power of recursion, replication and iteration in
process calculi},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {6},
pages = {1191--1222},
year = {2009},
url = {https://doi.org/10.1017/S096012950999017X},
doi = {10.1017/S096012950999017X},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BusiGZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BusiZ09,
author = {Nadia Busi and
Gianluigi Zavattaro},
title = {Deciding reachability problems in Turing-complete fragments of Mobile
Ambients},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {6},
pages = {1223--1263},
year = {2009},
url = {https://doi.org/10.1017/S0960129509990181},
doi = {10.1017/S0960129509990181},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BusiZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AspertiB09,
author = {Andrea Asperti and
Nadia Busi},
title = {Mobile Petri nets},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {6},
pages = {1265--1278},
year = {2009},
url = {https://doi.org/10.1017/S0960129509990193},
doi = {10.1017/S0960129509990193},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AspertiB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BusiZ09,
author = {Nadia Busi and
Claudio Zandron},
title = {Computational expressiveness of Genetic Systems},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {4-5},
pages = {286--293},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.09.041},
doi = {10.1016/J.TCS.2008.09.041},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BusiZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/VersariB09,
author = {Cristian Versari and
Nadia Busi},
title = {Stochastic biological modelling in the presence of multiple compartments},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {33-34},
pages = {3039--3064},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.03.038},
doi = {10.1016/J.TCS.2009.03.038},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/VersariB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BusiZ08,
author = {Nadia Busi and
Gianluigi Zavattaro},
title = {A process algebraic view of shared dataspace coordination},
journal = {J. Log. Algebraic Methods Program.},
volume = {75},
number = {1},
pages = {52--85},
year = {2008},
url = {https://doi.org/10.1016/j.jlap.2007.06.003},
doi = {10.1016/J.JLAP.2007.06.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BusiZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BusiZ08,
author = {Nadia Busi and
Claudio Zandron},
title = {Foreword},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {3--4},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.009},
doi = {10.1016/J.TCS.2008.04.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BusiZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Busi07,
author = {Nadia Busi},
title = {Using well-structured transition systems to decide divergence for
catalytic {P} systems},
journal = {Theor. Comput. Sci.},
volume = {372},
number = {2-3},
pages = {125--135},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.11.021},
doi = {10.1016/J.TCS.2006.11.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Busi07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BusiZ07,
author = {Nadia Busi and
Claudio Zandron},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {Computing with Genetic Gates},
booktitle = {Computation and Logic in the Real World, Third Conference on Computability
in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4497},
pages = {105--114},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73001-9\_11},
doi = {10.1007/978-3-540-73001-9\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/BusiZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/VersariB07,
author = {Cristian Versari and
Nadia Busi},
editor = {Muffy Calder and
Stephen Gilmore},
title = {Stochastic Simulation of Biological Systems with Dynamical Compartment
Structure},
booktitle = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4695},
pages = {80--95},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75140-3\_6},
doi = {10.1007/978-3-540-75140-3\_6},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/VersariB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/VersariBG07,
author = {Cristian Versari and
Nadia Busi and
Roberto Gorrieri},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {On the Expressive Power of Global and Local Priority in Process Calculi},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {241--255},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_17},
doi = {10.1007/978-3-540-74407-8\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/VersariBG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BusiZ07,
author = {Nadia Busi and
Claudio Zandron},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Zolt{\'{a}}n {\'{E}}sik},
title = {On the Computational Power of Genetic Gates with Interleaving Semantics:
The Power of Inhibition and Degradation},
booktitle = {Fundamentals of Computation Theory, 16th International Symposium,
{FCT} 2007, Budapest, Hungary, August 27-30, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4639},
pages = {173--186},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74240-1\_16},
doi = {10.1007/978-3-540-74240-1\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/BusiZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilc/BusiZ07,
author = {Nadia Busi and
Claudio Zandron},
editor = {Margaret Archibald and
Vasco Brattka and
Valentin Goranko and
Benedikt L{\"{o}}we},
title = {Genetic Systems without Inhibition Rules},
booktitle = {Infinity in Logic and Computation, International Conference, {ILC}
2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5489},
pages = {21--31},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-03092-5\_3},
doi = {10.1007/978-3-642-03092-5\_3},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/ilc/BusiZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/Busi07,
author = {Nadia Busi},
editor = {George Eleftherakis and
Petros Kefalas and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Causality in Membrane Systems},
booktitle = {Membrane Computing, 8th International Workshop, {WMC} 2007, Thessaloniki,
Greece, June 25-28, 2007 Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4860},
pages = {160--171},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77312-2\_10},
doi = {10.1007/978-3-540-77312-2\_10},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/membrane/Busi07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VersariB08,
author = {Cristian Versari and
Nadia Busi},
editor = {Nicola Cannata and
Emanuela Merelli},
title = {Efficient Stochastic Simulation of Biological Systems with Multiple
Variable Volumes},
booktitle = {Proceedings of the First Workshop "From Biology To Concurrency and
back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {3},
pages = {165--180},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.12.012},
doi = {10.1016/J.ENTCS.2007.12.012},
timestamp = {Thu, 09 Feb 2023 10:12:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VersariB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2006mecbic,
editor = {Nadia Busi and
Claudio Zandron},
title = {Proceedings of the First Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC@ICALP 2006, Venice, Italy, July 9,
2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {171},
number = {2},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/171/issue/2},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/2006mecbic.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/BusiG06,
author = {Nadia Busi and
Roberto Gorrieri},
title = {On the Computational Power of Brane Calculi},
journal = {Trans. Comp. Sys. Biology},
volume = {6},
pages = {16--43},
year = {2006},
url = {https://doi.org/10.1007/11880646\_2},
doi = {10.1007/11880646\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/BusiG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/Busi06,
author = {Nadia Busi},
editor = {Corrado Priami},
title = {Deciding Behavioural Properties in Brane Calculi},
booktitle = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2006, Trento, Italy, October 18-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4210},
pages = {17--31},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11885191\_2},
doi = {10.1007/11885191\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/Busi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BusiGGLZ06,
author = {Nadia Busi and
Roberto Gorrieri and
Claudio Guidi and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Paolo Ciancarini and
Herbert Wiklicky},
title = {Choreography and Orchestration Conformance for System Design},
booktitle = {Coordination Models and Languages, 8th International Conference, {COORDINATION}
2006, Bologna, Italy, June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4038},
pages = {63--81},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767954\_5},
doi = {10.1007/11767954\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BusiGGLZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/GuidiLGBZ06,
author = {Claudio Guidi and
Roberto Lucchi and
Roberto Gorrieri and
Nadia Busi and
Gianluigi Zavattaro},
editor = {Asit Dan and
Winfried Lamersdorf},
title = {: {A} Calculus for Service Oriented Computing},
booktitle = {Service-Oriented Computing - {ICSOC} 2006, 4th International Conference,
Chicago, IL, USA, December 4-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4294},
pages = {327--338},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11948148\_27},
doi = {10.1007/11948148\_27},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/GuidiLGBZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/BusiG06,
author = {Nadia Busi and
Miguel A. Guti{\'{e}}rrez{-}Naranjo},
editor = {Hendrik Jan Hoogeboom and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {A Case Study in (Mem)Brane Computation: Generating Squares of Natural
Numbers},
booktitle = {Membrane Computing, 7th International Workshop, {WMC} 2006, Leiden,
The Netherlands, July 17-21, 2006, Revised, Selected, and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4361},
pages = {233--249},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11963516\_15},
doi = {10.1007/11963516\_15},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/membrane/BusiG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/BusiZ06,
author = {Nadia Busi and
Claudio Zandron},
editor = {Hendrik Jan Hoogeboom and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Computing with Genetic Gates, Proteins, and Membranes},
booktitle = {Membrane Computing, 7th International Workshop, {WMC} 2006, Leiden,
The Netherlands, July 17-21, 2006, Revised, Selected, and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4361},
pages = {250--265},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11963516\_16},
doi = {10.1007/11963516\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/membrane/BusiZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppsn/BusiG06,
author = {Nadia Busi and
Miguel A. Guti{\'{e}}rrez{-}Naranjo},
editor = {Thomas Philip Runarsson and
Hans{-}Georg Beyer and
Edmund K. Burke and
Juan Juli{\'{a}}n Merelo Guerv{\'{o}}s and
L. Darrell Whitley and
Xin Yao},
title = {Some Notes on (Mem)Brane Computation},
booktitle = {Parallel Problem Solving from Nature - {PPSN} IX, 9th International
Conference, Reykjavik, Iceland, September 9-13, 2006, Procedings},
series = {Lecture Notes in Computer Science},
volume = {4193},
pages = {262--271},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11844297\_27},
doi = {10.1007/11844297\_27},
timestamp = {Sun, 25 Jul 2021 11:46:24 +0200},
biburl = {https://dblp.org/rec/conf/ppsn/BusiG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/BusiP06,
author = {Nadia Busi and
G. Michele Pinna},
editor = {Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Ajith Abraham and
Bruno Buchberger and
Alexandru Cicortas and
Dorian Gorgan and
Jo{\"{e}}l Quinqueton},
title = {Characterizing Workflow Nets Using Regions},
booktitle = {8th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing {(SYNASC} 2006), 26-29 September 2006, Timisoara,
Romania},
pages = {399--406},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SYNASC.2006.21},
doi = {10.1109/SYNASC.2006.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/BusiP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/BusiZ06,
author = {Nadia Busi and
Claudio Zandron},
editor = {L. Felipe Perrone and
Barry Lawson and
Jason Liu and
Frederick P. Wieland},
title = {Modeling and analysis of biological processes by mem(brane) calculi
and systems},
booktitle = {Proceedings of the Winter Simulation Conference {WSC} 2006, Monterey,
California, USA, December 3-6, 2006},
pages = {1646--1655},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/WSC.2006.322939},
doi = {10.1109/WSC.2006.322939},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsc/BusiZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BusiZ07,
author = {Nadia Busi and
Claudio Zandron},
editor = {Nadia Busi and
Claudio Zandron},
title = {Preface},
booktitle = {Proceedings of the First Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC@ICALP 2006, Venice, Italy, July 9,
2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {171},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.002},
doi = {10.1016/J.ENTCS.2007.05.002},
timestamp = {Fri, 27 Jan 2023 11:08:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BusiZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Busi08,
author = {Nadia Busi},
editor = {Catuscia Palamidessi and
Frank Valencia},
title = {Expressiveness Issues in Brane Calculi: {A} Survey},
booktitle = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {209},
pages = {107--124},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.006},
doi = {10.1016/J.ENTCS.2008.04.006},
timestamp = {Mon, 13 Feb 2023 14:19:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Busi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BusiZ05,
author = {Nadia Busi and
Gianluigi Zavattaro},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Prioritized and Parallel Reactions in Shared Data Space Coordination
Languages},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {204--219},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_14},
doi = {10.1007/11417019\_14},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BusiZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BusiZ05,
author = {Nadia Busi and
Gianluigi Zavattaro},
editor = {Shmuel Sagiv},
title = {Deciding Reachability in Mobile Ambients},
booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,
{ESOP} 2005, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3444},
pages = {248--262},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31987-0\_18},
doi = {10.1007/978-3-540-31987-0\_18},
timestamp = {Fri, 27 Jan 2023 15:04:25 +0100},
biburl = {https://dblp.org/rec/conf/esop/BusiZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BusiP05,
author = {Nadia Busi and
Luca Padovani},
editor = {Martin Steffen and
Gianluigi Zavattaro},
title = {A Distributed Implementation of Mobile Nets as Mobile Agents},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece,
June 15-17, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3535},
pages = {259--274},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494881\_17},
doi = {10.1007/11494881\_17},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/BusiP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BusiGGLZ05,
author = {Nadia Busi and
Roberto Gorrieri and
Claudio Guidi and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Boualem Benatallah and
Fabio Casati and
Paolo Traverso},
title = {Choreography and Orchestration: {A} Synergic Approach for System Design},
booktitle = {Service-Oriented Computing - {ICSOC} 2005, Third International Conference,
Amsterdam, The Netherlands, December 12-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3826},
pages = {228--240},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11596141\_18},
doi = {10.1007/11596141\_18},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BusiGGLZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BusiZ05,
author = {Nadia Busi and
Gianluigi Zavattaro},
editor = {Mario Coppo and
Elena Lodi and
G. Michele Pinna},
title = {Reachability Analysis in Boxed Ambients},
booktitle = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
Siena, Italy, October 12-14, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3701},
pages = {143--159},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560586\_12},
doi = {10.1007/11560586\_12},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/BusiZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/Busi05,
author = {Nadia Busi},
editor = {Rudolf Freund and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving
vs. Maximal Parallelism},
booktitle = {Membrane Computing, 6th International Workshop, {WMC} 2005, Vienna,
Austria, July 18-21, 2005, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3850},
pages = {144--158},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603047\_10},
doi = {10.1007/11603047\_10},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/membrane/Busi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/BusiGGLZ05,
author = {Nadia Busi and
Roberto Gorrieri and
Claudio Guidi and
Roberto Lucchi and
Gianluigi Zavattaro},
title = {Towards a formal framework for Choreography},
booktitle = {14th {IEEE} International Workshops on Enabling Technologies {(WETICE}
2005), 13-15 June 2005, Link{\"{o}}ping, Sweden},
pages = {107--112},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/WETICE.2005.57},
doi = {10.1109/WETICE.2005.57},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/BusiGGLZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BusiZ06,
author = {Nadia Busi and
Gianluigi Zavattaro},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {A Process Algebraic View of Coordination},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {141--145},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.08.001},
doi = {10.1016/J.ENTCS.2006.08.001},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BusiZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2004wisp,
editor = {Nadia Busi and
Roberto Gorrieri and
Fabio Martinelli},
title = {Proceedings of the 2nd International Workshop on Security Issues with
Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna,
Italy, June 26, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {121},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/121/suppl/C},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/2004wisp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcis/BusiMZ04,
author = {Nadia Busi and
Alberto Montresor and
Gianluigi Zavattaro},
title = {Data-Driven Coordination In Peer-To-Peer Information Systems},
journal = {Int. J. Cooperative Inf. Syst.},
volume = {13},
number = {1},
pages = {63--89},
year = {2004},
url = {https://doi.org/10.1142/S0218843004000894},
doi = {10.1142/S0218843004000894},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcis/BusiMZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BusiZ04,
author = {Nadia Busi and
Gianluigi Zavattaro},
title = {On the expressive power of movement and restriction in pure mobile
ambients},
journal = {Theor. Comput. Sci.},
volume = {322},
number = {3},
pages = {477--515},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.10.040},
doi = {10.1016/J.TCS.2003.10.040},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BusiZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaldanBCP04,
author = {Paolo Baldan and
Nadia Busi and
Andrea Corradini and
G. Michele Pinna},
title = {Domain and event structure semantics for Petri nets with read and
inhibitor arcs},
journal = {Theor. Comput. Sci.},
volume = {323},
number = {1-3},
pages = {129--189},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.04.001},
doi = {10.1016/J.TCS.2004.04.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BaldanBCP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BusiG04,
author = {Nadia Busi and
Roberto Gorrieri},
editor = {Jordi Cortadella and
Wolfgang Reisig},
title = {Positive Non-interference in Elementary and Trace Nets},
booktitle = {Applications and Theory of Petri Nets 2004, 25th International Conference,
{ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3099},
pages = {1--16},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27793-4\_1},
doi = {10.1007/978-3-540-27793-4\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BusiG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BusiGZ04,
author = {Nadia Busi and
Maurizio Gabbrielli and
Gianluigi Zavattaro},
editor = {Josep D{\'{\i}}az and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Donald Sannella},
title = {Comparing Recursion, Replication, and Iteration in Process Calculi},
booktitle = {Automata, Languages and Programming: 31st International Colloquium,
{ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3142},
pages = {307--319},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27836-8\_28},
doi = {10.1007/978-3-540-27836-8\_28},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BusiGZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BravettiBGLZ04,
author = {Mario Bravetti and
Nadia Busi and
Roberto Gorrieri and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Security Issues in the Tuple-Space Coordination Model},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {1--12},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_1},
doi = {10.1007/0-387-24098-5\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/BravettiBGLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BusiGM05,
author = {Nadia Busi and
Roberto Gorrieri and
Fabio Martinelli},
editor = {Nadia Busi and
Roberto Gorrieri and
Fabio Martinelli},
title = {Preface},
booktitle = {Proceedings of the 2nd International Workshop on Security Issues with
Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna,
Italy, June 26, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {121},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.005},
doi = {10.1016/J.ENTCS.2004.10.005},
timestamp = {Tue, 13 Dec 2022 11:53:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BusiGM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BusiZ03,
author = {Nadia Busi and
Gianluigi Zavattaro},
title = {Expired data collection in shared dataspaces},
journal = {Theor. Comput. Sci.},
volume = {298},
number = {3},
pages = {529--556},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00867-8},
doi = {10.1016/S0304-3975(02)00867-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BusiZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BusiG03,
author = {Nadia Busi and
Roberto Gorrieri},
editor = {J{\"{o}}rg Desel and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {A Survey on Non-interference with Petri Nets},
booktitle = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This
tutorial volume originates from the 4th Advanced Course on Petri Nets,
{ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003.
In addition to lectures given at {ACPN} 2003, additional chapters
have been commissioned]},
series = {Lecture Notes in Computer Science},
volume = {3098},
pages = {328--344},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-27755-2\_8},
doi = {10.1007/978-3-540-27755-2\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/BusiG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BusiGZ03,
author = {Nadia Busi and
Maurizio Gabbrielli and
Gianluigi Zavattaro},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Replication vs. Recursive Definitions in Channel Based Calculi},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {133--144},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_12},
doi = {10.1007/3-540-45061-0\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BusiGZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BusiMMZ03,
author = {Nadia Busi and
Cristian Manfredini and
Alberto Montresor and
Gianluigi Zavattaro},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks},
booktitle = {Proceedings of the 2003 {ACM} Symposium on Applied Computing (SAC),
March 9-12, 2003, Melbourne, FL, {USA}},
pages = {380--386},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/952532.952608},
doi = {10.1145/952532.952608},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/BusiMMZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/BernardoBR02,
author = {Marco Bernardo and
Nadia Busi and
Marina Ribaudo},
title = {Integrating TwoTowers and GreatSPN through a compact net semantics},
journal = {Perform. Evaluation},
volume = {50},
number = {2/3},
pages = {153--187},
year = {2002},
url = {https://doi.org/10.1016/S0166-5316(02)00104-9},
doi = {10.1016/S0166-5316(02)00104-9},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/BernardoBR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Busi02,
author = {Nadia Busi},
title = {Analysis issues in Petri nets with inhibitor arcs},
journal = {Theor. Comput. Sci.},
volume = {275},
number = {1-2},
pages = {127--177},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00127-X},
doi = {10.1016/S0304-3975(01)00127-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Busi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BusiRZ02,
author = {Nadia Busi and
Antony I. T. Rowstron and
Gianluigi Zavattaro},
editor = {Farhad Arbab and
Carolyn L. Talcott},
title = {State- and Event-Based Reactive Programming in Shared Dataspaces},
booktitle = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
2002, YORK, UK, April 8-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2315},
pages = {111--124},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46000-4\_12},
doi = {10.1007/3-540-46000-4\_12},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BusiRZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/networking/BusiMMZ02,
author = {Nadia Busi and
Cristian Manfredini and
Alberto Montresor and
Gianluigi Zavattaro},
editor = {Enrico Gregori and
Ludmila Cherkasova and
Gianpaolo Cugola and
Fabio Panzieri and
Gian Pietro Picco},
title = {Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer
Systems},
booktitle = {Web Engineering and Peer-to-Peer Computing, {NETWORKING} 2002 Workshops,
Pisa, Italy, May 19-24, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2376},
pages = {295--299},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45745-3\_27},
doi = {10.1007/3-540-45745-3\_27},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/networking/BusiMMZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BusiZ02,
author = {Nadia Busi and
Gianluigi Zavattaro},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {On the serializability of transactions in shared dataspaces with temporary
data},
booktitle = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC),
March 10-14, 2002, Madrid, Spain},
pages = {359--366},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/508791.508860},
doi = {10.1145/508791.508860},
timestamp = {Tue, 06 Nov 2018 11:06:47 +0100},
biburl = {https://dblp.org/rec/conf/sac/BusiZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BusiZ02,
author = {Nadia Busi and
Gianluigi Zavattaro},
editor = {Vladimiro Sassone},
title = {On the Expressiveness of Movement in Pure Mobile Ambients},
booktitle = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {3},
pages = {22--36},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80414-6},
doi = {10.1016/S1571-0661(04)80414-6},
timestamp = {Tue, 06 Dec 2022 10:28:51 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BusiZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BusiGLZ03,
author = {Nadia Busi and
Roberto Gorrieri and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {SecSpaces: a Data-driven Coordination Model for Environments Open
to Untrusted Agents},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {310--327},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80375-5},
doi = {10.1016/S1571-0661(05)80375-5},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BusiGLZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BusiGZ01,
author = {Nadia Busi and
Roberto Gorrieri and
Gianluigi Zavattaro},
editor = {Furio Honsell and
Marino Miculan},
title = {Temporary Data in Shared Dataspace Coordination Languages},
booktitle = {Foundations of Software Science and Computation Structures, 4th International
Conference, {FOSSACS} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2030},
pages = {121--136},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45315-6\_8},
doi = {10.1007/3-540-45315-6\_8},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BusiGZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/BusiZ01,
author = {Nadia Busi and
Gianluigi Zavattaro},
title = {Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures:
Is It Just a Matter of Taste?},
booktitle = {10th {IEEE} International Workshops on Enabling Technologies: Infrastructure
for Collaborative Enterprises {(WETICE} 2001), 20-22 June 2001, Cambridge,
MA, {USA}},
pages = {328--333},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ENABL.2001.953438},
doi = {10.1109/ENABL.2001.953438},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/BusiZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BusiZ01,
author = {Nadia Busi and
Gianluigi Zavattaro},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {On the Serializability of Transactions in JavaSpaces},
booktitle = {International Workshop on Concurrency and Coordination, ConCoord 2001,
associated to the 13th Lipari School, Lipari Island, Italy, July 6-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {54},
pages = {92--105},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00238-5},
doi = {10.1016/S1571-0661(04)00238-5},
timestamp = {Wed, 30 Nov 2022 11:59:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BusiZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrogiBGZ01,
author = {Antonio Brogi and
Nadia Busi and
Maurizio Gabbrielli and
Gianluigi Zavattaro},
editor = {Marina Lenisa and
Marino Miculan},
title = {Comparative analysis of the expressiveness of shared dataspace coordination},
booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
Udine, Italy, November 19-21, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {62},
pages = {102--115},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00322-6},
doi = {10.1016/S1571-0661(04)00322-6},
timestamp = {Wed, 30 Nov 2022 12:15:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrogiBGZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/omicini01/BusiCGZ01,
author = {Nadia Busi and
Paolo Ciancarini and
Roberto Gorrieri and
Gianluigi Zavattaro},
editor = {Andrea Omicini and
Franco Zambonelli and
Matthias Klusch and
Robert Tolksdorf},
title = {Coordination Models: {A} Guided Tour},
booktitle = {Coordination of Internet Agents: Models, Technologies, and Applications},
pages = {6--24},
publisher = {Springer},
year = {2001},
timestamp = {Sat, 03 Aug 2019 17:35:36 +0200},
biburl = {https://dblp.org/rec/books/sp/omicini01/BusiCGZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BusiP00,
author = {Nadia Busi and
G. Michele Pinna},
title = {Comparing Truly Concurrent Semantics for Contextual Place/Transition
Nets with Inhibitor and Read Arcs},
journal = {Fundam. Informaticae},
volume = {44},
number = {3},
pages = {209--244},
year = {2000},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi44-3-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BusiP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BusiGZ00,
author = {Nadia Busi and
Roberto Gorrieri and
Gianluigi Zavattaro},
title = {On the Expressiveness of Linda Coordination Primitives},
journal = {Inf. Comput.},
volume = {156},
number = {1-2},
pages = {90--121},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2823},
doi = {10.1006/INCO.1999.2823},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BusiGZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BusiGZ00,
author = {Nadia Busi and
Roberto Gorrieri and
Gianluigi Zavattaro},
title = {Comparing three semantics for Linda-like languages},
journal = {Theor. Comput. Sci.},
volume = {240},
number = {1},
pages = {49--90},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00227-3},
doi = {10.1016/S0304-3975(99)00227-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BusiGZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BusiGZ00,
author = {Nadia Busi and
Roberto Gorrieri and
Gianluigi Zavattaro},
editor = {Teodor Rus},
title = {Process Calculi for Coordination: From Linda to JavaSpaces},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {198--212},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_16},
doi = {10.1007/3-540-45499-3\_16},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/BusiGZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaldanBCP00,
author = {Paolo Baldan and
Nadia Busi and
Andrea Corradini and
G. Michele Pinna},
editor = {Catuscia Palamidessi},
title = {Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor
Arcs},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {442--457},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_32},
doi = {10.1007/3-540-44618-4\_32},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaldanBCP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BusiZ00,
author = {Nadia Busi and
Gianluigi Zavattaro},
editor = {Gert Smolka},
title = {On the Expressiveness of Event Notification in Data-Driven Coordination
Languages},
booktitle = {Programming Languages and Systems, 9th European Symposium on Programming,
{ESOP} 2000, Held as Part of the European Joint Conferences on the
Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March
25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1782},
pages = {41--55},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46425-5\_3},
doi = {10.1007/3-540-46425-5\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BusiZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BusiGZ00,
author = {Nadia Busi and
Roberto Gorrieri and
Gianluigi Zavattaro},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {On the Semantics of JavaSpaces},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {3--19},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_1},
doi = {10.1007/978-0-387-35520-7\_1},
timestamp = {Thu, 21 Dec 2017 23:26:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/BusiGZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BernardoRB00,
author = {Marco Bernardo and
Marina Ribaudo and
Nadia Busi},
editor = {Tommaso Bolognesi and
Diego Latella},
title = {Compact Net Semantics for Process Algebras},
booktitle = {Formal Techniques for Distributed System Development, {FORTE/PSTV}
2000, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal
Description Techniques for Distributed Systems and Communication Protocols
{(FORTE} {XIII)} and Protocol Specification, Testing and Verification
{(PSTV} XX), October 10-13, 2000, Pisa, Italy},
series = {{IFIP} Conference Proceedings},
volume = {183},
pages = {319--334},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 06 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BernardoRB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BernardoBR00,
author = {Marco Bernardo and
Nadia Busi and
Marina Ribaudo},
editor = {Jos{\'{e}} D. P. Rolim and
Andrei Z. Broder and
Andrea Corradini and
Roberto Gorrieri and
Reiko Heckel and
Juraj Hromkovic and
Ugo Vaccaro and
J. B. Wells},
title = {Integrating Two Towers and GreatSPN},
booktitle = {{ICALP} Workshops 2000, Proceedings of the Satelite Workshops of the
27th International Colloquium on Automata, Languages and Programming,
Geneva, Switzerland, July 9-15, 2000},
pages = {551--564},
publisher = {Carleton Scientific, Waterloo, Ontario, Canada},
year = {2000},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BernardoBR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BusiZ00,
author = {Nadia Busi and
Gianluigi Zavattaro},
editor = {Barrett R. Bryant and
Janice H. Carroll and
Ernesto Damiani and
Hisham Haddad and
Dave Oppenheim},
title = {Event Notification in Data-driven Coordination Languages: Comparing
the Ordered and Unordered Interpretations},
booktitle = {Applied Computing 2000, Proceedings of the 2000 {ACM} Symposium on
Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March
19-21, 2000. Volume 1},
pages = {233--239},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/335603.335750},
doi = {10.1145/335603.335750},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/BusiZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BusiP99,
author = {Nadia Busi and
G. Michele Pinna},
title = {Process Semantics for Place/Transition Nets with Inhibitor and Read
Arcs},
journal = {Fundam. Informaticae},
volume = {40},
number = {2-3},
pages = {165--197},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-402304},
doi = {10.3233/FI-1999-402304},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BusiP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Busi99,
author = {Nadia Busi},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {Mobile Nets},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
Third International Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
series = {{IFIP} Conference Proceedings},
volume = {139},
publisher = {Kluwer},
year = {1999},
timestamp = {Tue, 04 Mar 2003 07:57:24 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/Busi99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BusiGZ98,
author = {Nadia Busi and
Roberto Gorrieri and
Gianluigi Zavattaro},
title = {A Process Algebraic View of Linda Coordination Primitives},
journal = {Theor. Comput. Sci.},
volume = {192},
number = {2},
pages = {167--199},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00149-7},
doi = {10.1016/S0304-3975(97)00149-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BusiGZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BusiP97,
author = {Nadia Busi and
G. Michele Pinna},
editor = {Antoni W. Mazurkiewicz and
J{\'{o}}zef Winkowski},
title = {Synthesis of Nets with Inhibitor Arcs},
booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
Poland, July 1-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1243},
pages = {151--165},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63141-0\_11},
doi = {10.1007/3-540-63141-0\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BusiP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BusiGZ97,
author = {Nadia Busi and
Roberto Gorrieri and
Gianluigi Zavattaro},
editor = {David Garlan and
Daniel Le M{\'{e}}tayer},
title = {Three Semantics of the Output Operation for Generative Communication},
booktitle = {Coordination Languages and Models, Second International Conference,
{COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1282},
pages = {205--219},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63383-9\_82},
doi = {10.1007/3-540-63383-9\_82},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BusiGZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BusiGZ97,
author = {Nadia Busi and
Roberto Gorrieri and
Gianluigi Zavattaro},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {On the Turing equivalence of Linda coordination primitives},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {75},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80467-0},
doi = {10.1016/S1571-0661(05)80467-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BusiGZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BusiP96,
author = {Nadia Busi and
G. Michele Pinna},
editor = {Jonathan Billington and
Wolfgang Reisig},
title = {Non Sequential Semantics for Contextual {P/T} Nets},
booktitle = {Application and Theory of Petri Nets 1996, 17th International Conference,
Osaka, Japan, June 24-28, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1091},
pages = {113--132},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61363-3\_7},
doi = {10.1007/3-540-61363-3\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BusiP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BernardoBG95,
author = {Marco Bernardo and
Nadia Busi and
Roberto Gorrieri},
title = {A Distributed Semantics for {EMPA} Based on Stochastic Contextual
Nets},
journal = {Comput. J.},
volume = {38},
number = {7},
pages = {492--509},
year = {1995},
url = {https://doi.org/10.1093/comjnl/38.7.492},
doi = {10.1093/COMJNL/38.7.492},
timestamp = {Mon, 06 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BernardoBG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BusiG95,
author = {Nadia Busi and
Roberto Gorrieri},
editor = {Insup Lee and
Scott A. Smolka},
title = {A Petri Net Semantics for pi-Calculus},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {145--159},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_11},
doi = {10.1007/3-540-60218-6\_11},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/concur/BusiG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BusiG94,
author = {Nadia Busi and
Roberto Gorrieri},
editor = {Paolo Ciancarini and
Oscar Nierstrasz and
Akinori Yonezawa},
title = {Distributed Conflicts in Communicating Systems},
booktitle = {Object-Based Models and Languages for Concurrent Systems, ECOOP'94
Workshop on Models and Languages for Coordination of Parallelism and
Distribution, Bologna, Italy, July 5, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {924},
pages = {49--65},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-59450-7\_4},
doi = {10.1007/3-540-59450-7\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/BusiG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/BusiGG94,
author = {Nadia Busi and
Rob J. van Glabbeek and
Roberto Gorrieri},
editor = {Ernst{-}R{\"{u}}diger Olderog},
title = {Axiomatising ST-Bisimulation Equivalence},
booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
{TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
1994},
series = {{IFIP} Transactions},
volume = {{A-56}},
pages = {169--188},
publisher = {North-Holland},
year = {1994},
timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
biburl = {https://dblp.org/rec/conf/procomet/BusiGG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-09-27 22:41 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:
