Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gianluigi Zavattaro
@incollection{DBLP:books/sp/24/BacchianiBGMZ24,
author = {Lorenzo Bacchiani and
Mario Bravetti and
Saverio Giallorenzo and
Jacopo Mauro and
Gianluigi Zavattaro},
editor = {Frank S. de Boer and
Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Eduard Kamburjan},
title = {Integrated Timed Architectural Modeling/Execution Language},
booktitle = {Active Object Languages: Current Research Trends},
series = {Lecture Notes in Computer Science},
volume = {14360},
pages = {169--198},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-51060-1\_7},
doi = {10.1007/978-3-031-51060-1\_7},
timestamp = {Mon, 12 Feb 2024 12:42:05 +0100},
biburl = {https://dblp.org/rec/books/sp/24/BacchianiBGMZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/PalmaGMTZ23,
author = {Giuseppe De Palma and
Saverio Giallorenzo and
Jacopo Mauro and
Matteo Trentin and
Gianluigi Zavattaro},
title = {Formally Verifying Function Scheduling Properties in Serverless Applications},
journal = {{IT} Prof.},
volume = {25},
number = {6},
pages = {94--99},
year = {2023},
url = {https://doi.org/10.1109/MITP.2023.3333071},
doi = {10.1109/MITP.2023.3333071},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itpro/PalmaGMTZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-20391,
author = {Giuseppe De Palma and
Saverio Giallorenzo and
Cosimo Laneve and
Jacopo Mauro and
Matteo Trentin and
Gianluigi Zavattaro},
editor = {Maurice H. ter Beek and
Clemens Dubslaff},
title = {Serverless Scheduling Policies based on Cost Analysis},
booktitle = {Proceedings of the First Workshop on Trends in Configurable Systems
Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023},
series = {{EPTCS}},
volume = {392},
pages = {40--52},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.392.3},
doi = {10.4204/EPTCS.392.3},
timestamp = {Mon, 06 Nov 2023 15:17:28 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-20391.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/microservices/2022,
editor = {Gokila Dorai and
Maurizio Gabbrielli and
Giulio Manzonetto and
Aomar Osmani and
Marco Prandini and
Gianluigi Zavattaro and
Olaf Zimmermann},
title = {Joint Post-proceedings of the Third and Fourth International Conference
on Microservices, Microservices 2020/2022, May 10-12, 2022, Paris,
France},
series = {OASIcs},
volume = {111},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-306-5},
isbn = {978-3-95977-306-5},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/microservices/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotm/BacchianiPSBFGZ22,
author = {Lorenzo Bacchiani and
Giuseppe De Palma and
Luca Sciullo and
Mario Bravetti and
Marco Di Felice and
Maurizio Gabbrielli and
Gianluigi Zavattaro and
Roberto Della Penna},
title = {Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry
4.0 Applications: the {SEAWALL} Case Study},
journal = {{IEEE} Internet Things Mag.},
volume = {5},
number = {3},
pages = {32--37},
year = {2022},
url = {https://doi.org/10.1109/IOTM.001.2200120},
doi = {10.1109/IOTM.001.2200120},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iotm/BacchianiPSBFGZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ciot/BacchianiPSBFGZ22,
author = {Lorenzo Bacchiani and
Giuseppe De Palma and
Luca Sciullo and
Mario Bravetti and
Marco De Felice and
Maurizio Gabbrielli and
Gianluigi Zavattaro and
Roberto Della Penna and
Corrado Iorizzo and
Andrea Livaldi and
Luca Magnotta and
Mirko Orsini},
title = {{SEAWALL:} Seamless Low Latency Cloud Platforms for the Industry 4.0},
booktitle = {5th Conference on Cloud and Internet of Things, CIoT 2022, Marrakech,
Morocco, March 28-30, 2022},
pages = {90--91},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CIoT53061.2022.9766643},
doi = {10.1109/CIOT53061.2022.9766643},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ciot/BacchianiPSBFGZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BacchianiBGGZZ22,
author = {Lorenzo Bacchiani and
Mario Bravetti and
Maurizio Gabbrielli and
Saverio Giallorenzo and
Gianluigi Zavattaro and
Stefano Pio Zingaro},
editor = {Javier Troya and
Brahim Medjahed and
Mario Piattini and
Lina Yao and
Pablo Fern{\'{a}}ndez and
Antonio Ruiz{-}Cort{\'{e}}s},
title = {Proactive-Reactive Global Scaling, with Analytics},
booktitle = {Service-Oriented Computing - 20th International Conference, {ICSOC}
2022, Seville, Spain, November 29 - December 2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13740},
pages = {237--254},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20984-0\_16},
doi = {10.1007/978-3-031-20984-0\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BacchianiBGGZZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/PalmaGMTZ22,
author = {Giuseppe De Palma and
Saverio Giallorenzo and
Jacopo Mauro and
Matteo Trentin and
Gianluigi Zavattaro},
editor = {Claudio Agostino Ardagna and
Nimanthi L. Atukorala and
Boualem Benatallah and
Athman Bouguettaya and
Fabio Casati and
Carl K. Chang and
Rong N. Chang and
Ernesto Damiani and
Chirine Ghedira Guegan and
Robert Ward and
Fatos Xhafa and
Xiaofei Xu and
Jia Zhang},
title = {A Declarative Approach to Topology-Aware Serverless Function-Execution
Scheduling},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2022, Barcelona,
Spain, July 10-16, 2022},
pages = {337--342},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICWS55610.2022.00056},
doi = {10.1109/ICWS55610.2022.00056},
timestamp = {Fri, 23 Jun 2023 11:36:46 +0200},
biburl = {https://dblp.org/rec/conf/icws/PalmaGMTZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/microservices/PalmaGMTZ22,
author = {Giuseppe De Palma and
Saverio Giallorenzo and
Jacopo Mauro and
Matteo Trentin and
Gianluigi Zavattaro},
editor = {Gokila Dorai and
Maurizio Gabbrielli and
Giulio Manzonetto and
Aomar Osmani and
Marco Prandini and
Gianluigi Zavattaro and
Olaf Zimmermann},
title = {Custom Serverless Function Scheduling Policies: An {APP} Tutorial},
booktitle = {Joint Post-proceedings of the Third and Fourth International Conference
on Microservices, Microservices 2020/2022, May 10-12, 2022, Paris,
France},
series = {OASIcs},
volume = {111},
pages = {5:1--5:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/OASIcs.Microservices.2020-2022.5},
doi = {10.4230/OASICS.MICROSERVICES.2020-2022.5},
timestamp = {Tue, 19 Dec 2023 15:49:25 +0100},
biburl = {https://dblp.org/rec/conf/microservices/PalmaGMTZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-10176,
author = {Giuseppe De Palma and
Saverio Giallorenzo and
Jacopo Mauro and
Matteo Trentin and
Gianluigi Zavattaro},
title = {Topology-aware Serverless Function-Execution Scheduling},
journal = {CoRR},
volume = {abs/2205.10176},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.10176},
doi = {10.48550/ARXIV.2205.10176},
eprinttype = {arXiv},
eprint = {2205.10176},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-10176.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BravettiCLYZ21,
author = {Mario Bravetti and
Marco Carbone and
Julien Lange and
Nobuko Yoshida and
Gianluigi Zavattaro},
title = {A Sound Algorithm for Asynchronous Session Subtyping and its Implementation},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {1},
year = {2021},
url = {https://lmcs.episciences.org/7238},
timestamp = {Mon, 08 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BravettiCLYZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BravettiZ21,
author = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Asynchronous session subtyping as communicating automata refinement},
journal = {Softw. Syst. Model.},
volume = {20},
number = {2},
pages = {311--333},
year = {2021},
url = {https://doi.org/10.1007/s10270-020-00838-x},
doi = {10.1007/S10270-020-00838-X},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BravettiZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BacchianiBLZ21,
author = {Lorenzo Bacchiani and
Mario Bravetti and
Julien Lange and
Gianluigi Zavattaro},
editor = {Ferruccio Damiani and
Ornela Dardha},
title = {A Session Subtyping Tool},
booktitle = {Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2021, Held as Part of the 16th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2021, Valletta, Malta, June 14-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12717},
pages = {90--105},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78142-2\_6},
doi = {10.1007/978-3-030-78142-2\_6},
timestamp = {Wed, 09 Jun 2021 09:04:12 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BacchianiBLZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BacchianiBGMTZ21,
author = {Lorenzo Bacchiani and
Mario Bravetti and
Saverio Giallorenzo and
Jacopo Mauro and
Iacopo Talevi and
Gianluigi Zavattaro},
editor = {Ferruccio Damiani and
Ornela Dardha},
title = {Microservice Dynamic Architecture-Level Deployment Orchestration},
booktitle = {Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2021, Held as Part of the 16th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2021, Valletta, Malta, June 14-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12717},
pages = {257--275},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78142-2\_16},
doi = {10.1007/978-3-030-78142-2\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BacchianiBGMTZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BravettiLZ21,
author = {Mario Bravetti and
Julien Lange and
Gianluigi Zavattaro},
editor = {Stefan Kiefer and
Christine Tasson},
title = {Fair Refinement for Asynchronous Session Types},
booktitle = {Foundations of Software Science and Computation Structures - 24th
International Conference, {FOSSACS} 2021, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2021,
Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12650},
pages = {144--163},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71995-1\_8},
doi = {10.1007/978-3-030-71995-1\_8},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BravettiLZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-08181,
author = {Mario Bravetti and
Julien Lange and
Gianluigi Zavattaro},
title = {Fair Refinement for Asynchronous Session Types (extended version)},
journal = {CoRR},
volume = {abs/2101.08181},
year = {2021},
url = {https://arxiv.org/abs/2101.08181},
eprinttype = {arXiv},
eprint = {2101.08181},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-08181.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-12455,
author = {Lorenzo Bacchiani and
Mario Bravetti and
Julien Lange and
Gianluigi Zavattaro},
title = {A Session Subtyping Tool (Extended Version)},
journal = {CoRR},
volume = {abs/2104.12455},
year = {2021},
url = {https://arxiv.org/abs/2104.12455},
eprinttype = {arXiv},
eprint = {2104.12455},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-12455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-12466,
author = {Lorenzo Bacchiani and
Mario Bravetti and
Saverio Giallorenzo and
Jacopo Mauro and
Iacopo Talevi and
Gianluigi Zavattaro},
title = {Microservice Dynamic Architecture-Level Deployment Orchestration (Extended
Version)},
journal = {CoRR},
volume = {abs/2104.12466},
year = {2021},
url = {https://arxiv.org/abs/2104.12466},
eprinttype = {arXiv},
eprint = {2104.12466},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-12466.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BravettiZ20,
author = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Process calculi as a tool for studying coordination, contracts and
session types},
journal = {J. Log. Algebraic Methods Program.},
volume = {112},
pages = {100527},
year = {2020},
url = {https://doi.org/10.1016/j.jlamp.2020.100527},
doi = {10.1016/J.JLAMP.2020.100527},
timestamp = {Thu, 26 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/BravettiZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/PalmaGMZ20,
author = {Giuseppe De Palma and
Saverio Giallorenzo and
Jacopo Mauro and
Gianluigi Zavattaro},
editor = {Eleanna Kafeza and
Boualem Benatallah and
Fabio Martinelli and
Hakim Hacid and
Athman Bouguettaya and
Hamid Motahari},
title = {Allocation Priority Policies for Serverless Function-Execution Scheduling
Optimisation},
booktitle = {Service-Oriented Computing - 18th International Conference, {ICSOC}
2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12571},
pages = {416--430},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65310-1\_29},
doi = {10.1007/978-3-030-65310-1\_29},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/PalmaGMZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/20/BravettiGMTZ20,
author = {Mario Bravetti and
Saverio Giallorenzo and
Jacopo Mauro and
Iacopo Talevi and
Gianluigi Zavattaro},
editor = {Antonio Bucchiarone and
Nicola Dragoni and
Schahram Dustdar and
Patricia Lago and
Manuel Mazzara and
Victor Rivera and
Andrey Sadovykh},
title = {A Formal Approach to Microservice Architecture Deployment},
booktitle = {Microservices, Science and Engineering},
pages = {183--208},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-31646-4\_8},
doi = {10.1007/978-3-030-31646-4\_8},
timestamp = {Mon, 05 Feb 2024 20:35:54 +0100},
biburl = {https://dblp.org/rec/books/sp/20/BravettiGMTZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-01638,
author = {Lorenzo Bacchiani and
Mario Bravetti and
Saverio Giallorenzo and
Jacopo Mauro and
Iacopo Talevi and
Gianluigi Zavattaro},
title = {Microservice Interface Based Deployment Orchestration},
journal = {CoRR},
volume = {abs/2008.01638},
year = {2020},
url = {https://arxiv.org/abs/2008.01638},
eprinttype = {arXiv},
eprint = {2008.01638},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-01638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/GouwMZ19,
author = {Stijn de Gouw and
Jacopo Mauro and
Gianluigi Zavattaro},
title = {On the modeling of optimal and automatized cloud application deployment},
journal = {J. Log. Algebraic Methods Program.},
volume = {107},
pages = {108--135},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.06.001},
doi = {10.1016/J.JLAMP.2019.06.001},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/GouwMZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LaneseSZ19,
author = {Ivan Lanese and
Davide Sangiorgi and
Gianluigi Zavattaro},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Playing with Bisimulation in Erlang},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {71--91},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_6},
doi = {10.1007/978-3-030-21485-2\_6},
timestamp = {Thu, 04 Jul 2019 14:12:17 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LaneseSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BravettiCLYZ19,
author = {Mario Bravetti and
Marco Carbone and
Julien Lange and
Nobuko Yoshida and
Gianluigi Zavattaro},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {A Sound Algorithm for Asynchronous Session Subtyping},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {38:1--38:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.38},
doi = {10.4230/LIPICS.CONCUR.2019.38},
timestamp = {Mon, 18 May 2020 10:45:19 +0200},
biburl = {https://dblp.org/rec/conf/concur/BravettiCLYZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BravettiGMTZ19,
author = {Mario Bravetti and
Saverio Giallorenzo and
Jacopo Mauro and
Iacopo Talevi and
Gianluigi Zavattaro},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {Optimal and Automated Deployment for Microservices},
booktitle = {Fundamental Approaches to Software Engineering - 22nd International
Conference, {FASE} 2019, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {351--368},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_21},
doi = {10.1007/978-3-030-16722-6\_21},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/BravettiGMTZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BravettiZ19,
author = {Mario Bravetti and
Gianluigi Zavattaro},
editor = {Peter Csaba {\"{O}}lveczky and
Gwen Sala{\"{u}}n},
title = {Relating Session Types and Behavioural Contracts: The Asynchronous
Case},
booktitle = {Software Engineering and Formal Methods - 17th International Conference,
{SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11724},
pages = {29--47},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30446-1\_2},
doi = {10.1007/978-3-030-30446-1\_2},
timestamp = {Mon, 09 Sep 2019 15:50:49 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BravettiZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-09782,
author = {Mario Bravetti and
Saverio Giallorenzo and
Jacopo Mauro and
Iacopo Talevi and
Gianluigi Zavattaro},
title = {Optimal and Automated Deployment for Microservices},
journal = {CoRR},
volume = {abs/1901.09782},
year = {2019},
url = {http://arxiv.org/abs/1901.09782},
eprinttype = {arXiv},
eprint = {1901.09782},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-09782.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00421,
author = {Mario Bravetti and
Marco Carbone and
Julien Lange and
Nobuko Yoshida and
Gianluigi Zavattaro},
title = {A Sound Algorithm for Asynchronous Session Subtyping (extended version)},
journal = {CoRR},
volume = {abs/1907.00421},
year = {2019},
url = {http://arxiv.org/abs/1907.00421},
eprinttype = {arXiv},
eprint = {1907.00421},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-00421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BoerBLZ18,
author = {Frank S. de Boer and
Mario Bravetti and
Matias David Lee and
Gianluigi Zavattaro},
title = {A Petri Net Based Modeling of Active Objects and Futures},
journal = {Fundam. Informaticae},
volume = {159},
number = {3},
pages = {197--256},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1663},
doi = {10.3233/FI-2018-1663},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BoerBLZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BravettiCZ18,
author = {Mario Bravetti and
Marco Carbone and
Gianluigi Zavattaro},
title = {On the boundary between decidability and undecidability of asynchronous
session subtyping},
journal = {Theor. Comput. Sci.},
volume = {722},
pages = {19--51},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.02.010},
doi = {10.1016/J.TCS.2018.02.010},
timestamp = {Wed, 14 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BravettiCZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BravettiZ18,
author = {Mario Bravetti and
Gianluigi Zavattaro},
editor = {Giovanna Di Marzo Serugendo and
Michele Loreti},
title = {Foundations of Coordination and Contracts and Their Contribution to
Session Type Theory},
booktitle = {Coordination Models and Languages - 20th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2018, Held as Part of the 13th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2018, Madrid, Spain, June 18-21, 2018. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10852},
pages = {21--50},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92408-3\_2},
doi = {10.1007/978-3-319-92408-3\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BravettiZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-10040,
author = {Frank S. de Boer and
Elena Giachino and
Stijn de Gouw and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Cosimo Laneve and
Ka I Pun and
Gianluigi Zavattaro},
editor = {Davide Ancona and
Gordon Pace},
title = {Analysis of {SLA} Compliance in the Cloud - An Automated, Model-based
Approach},
booktitle = {Proceedings of the Second Workshop on Verification of Objects at RunTime
EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July
2018},
series = {{EPTCS}},
volume = {302},
pages = {1--15},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.302.1},
doi = {10.4204/EPTCS.302.1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BravettiCZ17,
author = {Mario Bravetti and
Marco Carbone and
Gianluigi Zavattaro},
title = {Undecidability of asynchronous session subtyping},
journal = {Inf. Comput.},
volume = {256},
pages = {300--320},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.07.010},
doi = {10.1016/J.IC.2017.07.010},
timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BravettiCZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BravettiCZ17,
author = {Mario Bravetti and
Marco Carbone and
Gianluigi Zavattaro},
title = {Decidable and Undecidable Fragments of Asynchronous Subtyping for
Session Types},
journal = {CoRR},
volume = {abs/1703.00659},
year = {2017},
url = {http://arxiv.org/abs/1703.00659},
eprinttype = {arXiv},
eprint = {1703.00659},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BravettiCZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/HuttelLVCCDMPRT16,
author = {Hans H{\"{u}}ttel and
Ivan Lanese and
Vasco T. Vasconcelos and
Lu{\'{\i}}s Caires and
Marco Carbone and
Pierre{-}Malo Deni{\'{e}}lou and
Dimitris Mostrous and
Luca Padovani and
Ant{\'{o}}nio Ravara and
Emilio Tuosto and
Hugo Torres Vieira and
Gianluigi Zavattaro},
title = {Foundations of Session Types and Behavioural Contracts},
journal = {{ACM} Comput. Surv.},
volume = {49},
number = {1},
pages = {3:1--3:36},
year = {2016},
url = {https://doi.org/10.1145/2873052},
doi = {10.1145/2873052},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/HuttelLVCCDMPRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MauroZ16,
author = {Jacopo Mauro and
Gianluigi Zavattaro},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {On the Expressiveness of Synchronization in Component Deployment},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {344--359},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_23},
doi = {10.1007/978-3-319-30734-3\_23},
timestamp = {Sat, 19 Oct 2019 20:29:08 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MauroZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/GouwMNZ16,
author = {Stijn de Gouw and
Jacopo Mauro and
Behrooz Nobakht and
Gianluigi Zavattaro},
editor = {Marco Aiello and
Einar Broch Johnsen and
Schahram Dustdar and
Ilche Georgievski},
title = {Declarative Elasticity in {ABS}},
booktitle = {Service-Oriented and Cloud Computing - 5th {IFIP} {WG} 2.14 European
Conference, {ESOCC} 2016, Vienna, Austria, September 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9846},
pages = {118--134},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44482-6\_8},
doi = {10.1007/978-3-319-44482-6\_8},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esocc/GouwMNZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BravettiCZ16,
author = {Mario Bravetti and
Marco Carbone and
Gianluigi Zavattaro},
title = {Undecidability of Asynchronous Session Subtyping},
journal = {CoRR},
volume = {abs/1611.05026},
year = {2016},
url = {http://arxiv.org/abs/1611.05026},
eprinttype = {arXiv},
eprint = {1611.05026},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BravettiCZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LascuMZ15,
author = {Tudor A. Lascu and
Jacopo Mauro and
Gianluigi Zavattaro},
title = {Automatic deployment of component-based applications},
journal = {Sci. Comput. Program.},
volume = {113},
pages = {261--284},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.07.006},
doi = {10.1016/J.SCICO.2015.07.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LascuMZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Zavattaro15,
author = {Gianluigi Zavattaro},
editor = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
title = {When to Move to Transfer Nets - On the Limits of Petri Nets as Models
for Process Calculi},
booktitle = {Programming Languages with Applications to Biology and Security -
Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9465},
pages = {339--353},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25527-9\_22},
doi = {10.1007/978-3-319-25527-9\_22},
timestamp = {Fri, 23 Jun 2023 22:30:53 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Zavattaro15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LaneseMZ15,
author = {Ivan Lanese and
Fabrizio Montesi and
Gianluigi Zavattaro},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {The Evolution of Jolie - From Orchestrations to Adaptable Choreographies},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {506--521},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_29},
doi = {10.1007/978-3-319-15545-6\_29},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LaneseMZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CosmoLMZZZ15,
author = {Roberto Di Cosmo and
Michael Lienhardt and
Jacopo Mauro and
Stefano Zacchiroli and
Gianluigi Zavattaro and
Jakub Zwolakowski},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Automatic Application Deployment in the Cloud: from Practice to Theory
and Back (Invited Paper)},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {1--16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.1},
doi = {10.4230/LIPICS.CONCUR.2015.1},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/CosmoLMZZZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/GouwLMNZ15,
author = {Stijn de Gouw and
Michael Lienhardt and
Jacopo Mauro and
Behrooz Nobakht and
Gianluigi Zavattaro},
editor = {Schahram Dustdar and
Frank Leymann and
Massimo Villari},
title = {On the Integration of Automatic Deployment into the {ABS} Modeling
Language},
booktitle = {Service Oriented and Cloud Computing - 4th European Conference, {ESOCC}
2015, Taormina, Italy, September 15-17, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9306},
pages = {49--64},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24072-5\_4},
doi = {10.1007/978-3-319-24072-5\_4},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esocc/GouwLMNZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/CosmoEMZZZ15,
author = {Roberto Di Cosmo and
Antoine Eiche and
Jacopo Mauro and
Stefano Zacchiroli and
Gianluigi Zavattaro and
Jakub Zwolakowski},
editor = {Alistair Barros and
Daniela Grigori and
Nanjangud C. Narendra and
Hoa Khanh Dam},
title = {Automatic Deployment of Services in the Cloud with Aeolus Blender},
booktitle = {Service-Oriented Computing - 13th International Conference, {ICSOC}
2015, Goa, India, November 16-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9435},
pages = {397--411},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48616-0\_28},
doi = {10.1007/978-3-662-48616-0\_28},
timestamp = {Sat, 19 Oct 2019 20:21:05 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/CosmoEMZZZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MauroZ15,
author = {Jacopo Mauro and
Gianluigi Zavattaro},
editor = {Giuseppe F. Italiano and
Giovanni Pighizzini and
Donald Sannella},
title = {On the Complexity of Reconfiguration in Systems with Legacy Components},
booktitle = {Mathematical Foundations of Computer Science 2015 - 40th International
Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9234},
pages = {382--393},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48057-1\_30},
doi = {10.1007/978-3-662-48057-1\_30},
timestamp = {Sun, 02 Jun 2019 21:25:38 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MauroZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BoerJLZ14,
author = {Frank S. de Boer and
Mohammad Mahdi Jaghoori and
Cosimo Laneve and
Gianluigi Zavattaro},
title = {Decidability Problems for Actor Systems},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {4},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(4:5)2014},
doi = {10.2168/LMCS-10(4:5)2014},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BoerJLZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CosmoMZZ14,
author = {Roberto Di Cosmo and
Jacopo Mauro and
Stefano Zacchiroli and
Gianluigi Zavattaro},
title = {Aeolus: {A} component model for the cloud},
journal = {Inf. Comput.},
volume = {239},
pages = {100--121},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.11.002},
doi = {10.1016/J.IC.2014.11.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CosmoMZZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LaneseLBJSSZ14,
author = {Ivan Lanese and
Michael Lienhardt and
Mario Bravetti and
Einar Broch Johnsen and
Rudolf Schlatte and
Volker Stolz and
Gianluigi Zavattaro},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Fault Model Design Space for Cooperative Concurrency},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {22--36},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_3},
doi = {10.1007/978-3-662-45231-8\_3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/LaneseLBJSSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BravettiZ14,
author = {Mario Bravetti and
Gianluigi Zavattaro},
editor = {Marcello Maria Bersani and
Davide Bresolin and
Luca Ferrucci and
Manuel Mazzara},
title = {Choreographies and Behavioural Contracts on the Way to Dynamic Updates},
booktitle = {Proceedings First Workshop on Logics and Model-checking for Self-*
Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014},
series = {{EPTCS}},
volume = {168},
pages = {12--31},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.168.2},
doi = {10.4204/EPTCS.168.2},
timestamp = {Mon, 05 Feb 2024 20:18:29 +0100},
biburl = {https://dblp.org/rec/journals/corr/BravettiZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/wsf14/MontesiGZ14,
author = {Fabrizio Montesi and
Claudio Guidi and
Gianluigi Zavattaro},
editor = {Athman Bouguettaya and
Quan Z. Sheng and
Florian Daniel},
title = {Service-Oriented Programming with Jolie},
booktitle = {Web Services Foundations},
pages = {81--107},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-1-4614-7518-7\_4},
doi = {10.1007/978-1-4614-7518-7\_4},
timestamp = {Sat, 19 Oct 2019 19:02:56 +0200},
biburl = {https://dblp.org/rec/books/sp/wsf14/MontesiGZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AcciaiBZ13,
author = {Lucia Acciai and
Michele Boreale and
Gianluigi Zavattaro},
title = {Behavioural contracts with request-response operations},
journal = {Sci. Comput. Program.},
volume = {78},
number = {2},
pages = {248--267},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2011.10.007},
doi = {10.1016/J.SCICO.2011.10.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AcciaiBZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/LaneseZ13,
author = {Ivan Lanese and
Gianluigi Zavattaro},
editor = {Rocco De Nicola and
Christine Julien},
title = {Decidability Results for Dynamic Installation of Compensation Handlers},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {136--150},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_10},
doi = {10.1007/978-3-642-38493-6\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/LaneseZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/CatanCELLMTZZZ13,
author = {Michel Catan and
Roberto Di Cosmo and
Antoine Eiche and
Tudor A. Lascu and
Michael Lienhardt and
Jacopo Mauro and
Ralf Treinen and
Stefano Zacchiroli and
Gianluigi Zavattaro and
Jakub Zwolakowski},
editor = {Kung{-}Kiu Lau and
Winfried Lamersdorf and
Ernesto Pimentel},
title = {Aeolus: Mastering the Complexity of Cloud Application Deployment},
booktitle = {Service-Oriented and Cloud Computing - Second European Conference,
{ESOCC} 2013, M{\'{a}}laga, Spain, September 11-13, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8135},
pages = {1--3},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40651-5\_1},
doi = {10.1007/978-3-642-40651-5\_1},
timestamp = {Wed, 12 May 2021 10:56:07 +0200},
biburl = {https://dblp.org/rec/conf/esocc/CatanCELLMTZZZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/LascuMZ13,
author = {Tudor A. Lascu and
Jacopo Mauro and
Gianluigi Zavattaro},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Zhiming Liu and
Jinyun Xue},
title = {Automatic Component Deployment in the Presence of Circular Dependencies},
booktitle = {Formal Aspects of Component Software - 10th International Symposium,
{FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8348},
pages = {254--272},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-07602-7\_16},
doi = {10.1007/978-3-319-07602-7\_16},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/LascuMZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CosmoMZZ13,
author = {Roberto Di Cosmo and
Jacopo Mauro and
Stefano Zacchiroli and
Gianluigi Zavattaro},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
title = {Component Reconfiguration in the Presence of Conflicts},
booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
{ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7966},
pages = {187--198},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39212-2\_19},
doi = {10.1007/978-3-642-39212-2\_19},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CosmoMZZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LascuMZ13,
author = {Tudor A. Lascu and
Jacopo Mauro and
Gianluigi Zavattaro},
title = {A Planning Tool Supporting the Deployment of Cloud Applications},
booktitle = {25th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2013, Herndon, VA, USA, November 4-6, 2013},
pages = {213--220},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICTAI.2013.41},
doi = {10.1109/ICTAI.2013.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/LascuMZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BravettiCHLMPZ13,
author = {Mario Bravetti and
Marco Carbone and
Thomas T. Hildebrandt and
Ivan Lanese and
Jacopo Mauro and
Jorge A. P{\'{e}}rez and
Gianluigi Zavattaro},
editor = {Steve Counsell and
Manuel N{\'{u}}{\~{n}}ez},
title = {Towards Global and Local Types for Adaptation},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
September 23-24, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8368},
pages = {3--14},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05032-4\_1},
doi = {10.1007/978-3-319-05032-4\_1},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BravettiCHLMPZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LaneseMZ13,
author = {Ivan Lanese and
Fabrizio Montesi and
Gianluigi Zavattaro},
editor = {Ant{\'{o}}nio Ravara and
Josep Silva},
title = {Amending Choreographies},
booktitle = {Proceedings 9th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th
June 2013},
series = {{EPTCS}},
volume = {123},
pages = {34--48},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.123.5},
doi = {10.4204/EPTCS.123.5},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/LaneseMZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-6379,
author = {Mario Bravetti and
Cinzia Di Giusto and
Jorge A. P{\'{e}}rez and
Gianluigi Zavattaro},
title = {Adaptable processes},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {4},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(4:13)2012},
doi = {10.2168/LMCS-8(4:13)2012},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6379.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DelzannoZ12,
author = {Giorgio Delzanno and
Gianluigi Zavattaro},
title = {Reachability problems in BioAmbients},
journal = {Theor. Comput. Sci.},
volume = {431},
pages = {56--74},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.12.056},
doi = {10.1016/J.TCS.2011.12.056},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DelzannoZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/VersariZ12,
author = {Cristian Versari and
Gianluigi Zavattaro},
title = {Complex Functional Rates in Rule-Based Languages for Biochemistry},
journal = {Trans. Comp. Sys. Biology},
volume = {14},
pages = {123--150},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35524-0\_6},
doi = {10.1007/978-3-642-35524-0\_6},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/VersariZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoerJLZ12,
author = {Frank S. de Boer and
Mohammad Mahdi Jaghoori and
Cosimo Laneve and
Gianluigi Zavattaro},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {Decidability Problems for Actor Systems},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {562--577},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_39},
doi = {10.1007/978-3-642-32940-1\_39},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoerJLZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BoerBGLSZ12,
author = {Frank S. de Boer and
Mario Bravetti and
Immo Grabe and
Matias David Lee and
Martin Steffen and
Gianluigi Zavattaro},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {A Petri Net Based Analysis of Deadlocks for Active Objects and Futures},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {110--127},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_7},
doi = {10.1007/978-3-642-35861-6\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BoerBGLSZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DelzannoSZ12,
author = {Giorgio Delzanno and
Arnaud Sangnier and
Gianluigi Zavattaro},
editor = {Holger Giese and
Grigore Rosu},
title = {Verification of Ad Hoc Networks with Node and Communication Failures},
booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7273},
pages = {235--250},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30793-5\_15},
doi = {10.1007/978-3-642-30793-5\_15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/DelzannoSZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DelzannoSTZ12,
author = {Giorgio Delzanno and
Arnaud Sangnier and
Riccardo Traverso and
Gianluigi Zavattaro},
editor = {Deepak D'Souza and
Telikepalli Kavitha and
Jaikumar Radhakrishnan},
title = {On the Complexity of Parameterized Reachability in Reconfigurable
Broadcast Networks},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012,
Hyderabad, India},
series = {LIPIcs},
volume = {18},
pages = {289--300},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.289},
doi = {10.4230/LIPICS.FSTTCS.2012.289},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DelzannoSTZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BravettiGPZ12,
author = {Mario Bravetti and
Cinzia Di Giusto and
Jorge A. P{\'{e}}rez and
Gianluigi Zavattaro},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards the Verification of Adaptable Processes},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {269--283},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_20},
doi = {10.1007/978-3-642-34026-0\_20},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BravettiGPZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CosmoZZ12,
author = {Roberto Di Cosmo and
Stefano Zacchiroli and
Gianluigi Zavattaro},
editor = {George Eleftherakis and
Mike Hinchey and
Mike Holcombe},
title = {Towards a Formal Component Model for the Cloud},
booktitle = {Software Engineering and Formal Methods - 10th International Conference,
{SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7504},
pages = {156--171},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33826-7\_11},
doi = {10.1007/978-3-642-33826-7\_11},
timestamp = {Sat, 05 Sep 2020 18:01:22 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CosmoZZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VersariZ13,
author = {Cristian Versari and
Gianluigi Zavattaro},
editor = {Paola Giannini and
Erik P. de Vink},
title = {Complex Functional Rates in the Modeling of Nano Devices (Extended
Abstract)},
booktitle = {Proceedings of the Third International Workshop on Interactions Between
Computer Science and Biology, CS2Bio 2012, Stockholm, Sweden, June
16, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {293},
pages = {3--15},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2013.02.015},
doi = {10.1016/J.ENTCS.2013.02.015},
timestamp = {Tue, 22 Nov 2022 13:42:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VersariZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esocc/2012,
editor = {Flavio De Paoli and
Ernesto Pimentel and
Gianluigi Zavattaro},
title = {Service-Oriented and Cloud Computing - First European Conference,
{ESOCC} 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7592},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33427-6},
doi = {10.1007/978-3-642-33427-6},
isbn = {978-3-642-33426-9},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esocc/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-5850,
author = {Giorgio Delzanno and
Arnaud Sangnier and
Riccardo Traverso and
Gianluigi Zavattaro},
title = {The Cost of Parameterized Reachability in Mobile Ad Hoc Networks},
journal = {CoRR},
volume = {abs/1202.5850},
year = {2012},
url = {http://arxiv.org/abs/1202.5850},
eprinttype = {arXiv},
eprint = {1202.5850},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-5850.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/JohnsenLZ11,
author = {Einar Broch Johnsen and
Ivan Lanese and
Gianluigi Zavattaro},
editor = {Wolfgang De Meuter and
Gruia{-}Catalin Roman},
title = {Fault in the Future},
booktitle = {Coordination Models and Languages - 13th International Conference,
{COORDINATION} 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6721},
pages = {1--15},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21464-6\_1},
doi = {10.1007/978-3-642-21464-6\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/JohnsenLZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BravettiGPZ11,
author = {Mario Bravetti and
Cinzia Di Giusto and
Jorge A. P{\'{e}}rez and
Gianluigi Zavattaro},
editor = {Roberto Bruni and
J{\"{u}}rgen Dingel},
title = {Adaptable Processes (Extended Abstract)},
booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6722},
pages = {90--105},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21461-5\_6},
doi = {10.1007/978-3-642-21461-5\_6},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/BravettiGPZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DelzannoSZ11,
author = {Giorgio Delzanno and
Arnaud Sangnier and
Gianluigi Zavattaro},
editor = {Martin Hofmann},
title = {On the Power of Cliques in the Parameterized Verification of Ad Hoc
Networks},
booktitle = {Foundations of Software Science and Computational Structures - 14th
International Conference, {FOSSACS} 2011, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2011,
Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6604},
pages = {441--455},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19805-2\_30},
doi = {10.1007/978-3-642-19805-2\_30},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/DelzannoSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/PredaGLMZ11,
author = {Mila Dalla Preda and
Maurizio Gabbrielli and
Ivan Lanese and
Jacopo Mauro and
Gianluigi Zavattaro},
editor = {Gerti Kappel and
Zakaria Maamar and
Hamid R. Motahari Nezhad},
title = {Graceful Interruption of Request-Response Service Interactions},
booktitle = {Service-Oriented Computing - 9th International Conference, {ICSOC}
2011, Paphos, Cyprus, December 5-8, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7084},
pages = {590--600},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25535-9\_45},
doi = {10.1007/978-3-642-25535-9\_45},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/PredaGLMZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-1864,
author = {Giorgio Delzanno and
Arnaud Sangnier and
Gianluigi Zavattaro},
editor = {Luca Aceto and
Mohammad Reza Mousavi},
title = {Parameterized Verification of Safety Properties in Ad Hoc Network
Protocols},
booktitle = {Proceedings First International Workshop on Process Algebra and Coordination,
{PACO} 2011, Reykjavik, Iceland, 9th June 2011},
series = {{EPTCS}},
volume = {60},
pages = {56--65},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.60.4},
doi = {10.4204/EPTCS.60.4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-1864.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/CairesNPVZ11,
author = {Lu{\'{\i}}s Caires and
Rocco De Nicola and
Rosario Pugliese and
Vasco Thudichum Vasconcelos and
Gianluigi Zavattaro},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Core Calculi for Service-Oriented Computing},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {153--188},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_8},
doi = {10.1007/978-3-642-20401-2\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/CairesNPVZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/FerreiraLRVZ11,
author = {Carla Ferreira and
Ivan Lanese and
Ant{\'{o}}nio Ravara and
Hugo Torres Vieira and
Gianluigi Zavattaro},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Advanced Mechanisms for Service Combination and Transactions},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {302--325},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_14},
doi = {10.1007/978-3-642-20401-2\_14},
timestamp = {Fri, 02 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/FerreiraLRVZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecows/2011,
editor = {Gianluigi Zavattaro and
Ulf Schreier and
Cesare Pautasso},
title = {9th {IEEE} European Conference on Web Services, {ECOWS} 2011, Lugano,
Switzerland, September 14-16, 2011},
publisher = {{IEEE}},
year = {2011},
url = {https://ieeexplore.ieee.org/xpl/conhome/6059529/proceeding},
isbn = {978-1-4577-1532-7},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecows/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CardelliZ10,
author = {Luca Cardelli and
Gianluigi Zavattaro},
title = {Turing universality of the Biochemical Ground Form},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {1},
pages = {45--73},
year = {2010},
url = {https://doi.org/10.1017/S0960129509990259},
doi = {10.1017/S0960129509990259},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CardelliZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LeaZ10,
author = {Doug Lea and
Gianluigi Zavattaro},
title = {Guest editors' foreword},
journal = {Sci. Comput. Program.},
volume = {75},
number = {6},
pages = {375},
year = {2010},
url = {https://doi.org/10.1016/j.scico.2009.07.010},
doi = {10.1016/J.SCICO.2009.07.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LeaZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acota/BeekGFZ10,
author = {Maurice H. ter Beek and
Stefania Gnesi and
Alessandro Fantechi and
Gianluigi Zavattaro},
editor = {Deepak Dhungana and
Rick Rabiser and
Norbert Seyff and
Goetz Botterweck},
title = {Modeling Variability, Evolvability, and Adaptability in Service Computing
(a vision for future research)},
booktitle = {Proceedings of the 1st International Workshop on Automated Configuration
and Tailoring of Applications, Antwerp, Belgium, September 20, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {688},
pages = {14--19},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-688/acota2010\_paper3\_terbeek.pdf},
timestamp = {Mon, 26 Jun 2023 20:49:09 +0200},
biburl = {https://dblp.org/rec/conf/acota/BeekGFZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DelzannoSZ10,
author = {Giorgio Delzanno and
Arnaud Sangnier and
Gianluigi Zavattaro},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Parameterized Verification of Ad Hoc Networks},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {313--327},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_22},
doi = {10.1007/978-3-642-15375-4\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DelzannoSZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AcciaiBZ10,
author = {Lucia Acciai and
Michele Boreale and
Gianluigi Zavattaro},
editor = {Dave Clarke and
Gul A. Agha},
title = {Behavioural Contracts with Request-Response Operations},
booktitle = {Coordination Models and Languages, 12th International Conference,
{COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6116},
pages = {16--30},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13414-2\_2},
doi = {10.1007/978-3-642-13414-2\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AcciaiBZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BravettiGPZ10,
author = {Mario Bravetti and
Cinzia Di Giusto and
Jorge A. P{\'{e}}rez and
Gianluigi Zavattaro},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Steps on the Road to Component Evolvability},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {295--299},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_19},
doi = {10.1007/978-3-642-27269-1\_19},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BravettiGPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/LienhardtLBSZWSP10,
author = {Michael Lienhardt and
Ivan Lanese and
Mario Bravetti and
Davide Sangiorgi and
Gianluigi Zavattaro and
Yannick Welsch and
Jan Sch{\"{a}}fer and
Arnd Poetzsch{-}Heffter},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {A Component Model for the {ABS} Language},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {165--183},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_9},
doi = {10.1007/978-3-642-25271-6\_9},
timestamp = {Thu, 14 Oct 2021 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/LienhardtLBSZWSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AcciaiBZ10,
author = {Lucia Acciai and
Michele Boreale and
Gianluigi Zavattaro},
editor = {C.{-}H. Luke Ong},
title = {On the Relationship between Spatial Logics and Behavioral Simulations},
booktitle = {Foundations of Software Science and Computational Structures, 13th
International Conference, {FOSSACS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6014},
pages = {146--160},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12032-9\_11},
doi = {10.1007/978-3-642-12032-9\_11},
timestamp = {Wed, 16 Mar 2022 23:55:17 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/AcciaiBZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GuidiLMZ09,
author = {Claudio Guidi and
Ivan Lanese and
Fabrizio Montesi and
Gianluigi Zavattaro},
title = {Dynamic Error Handling in Service Oriented Applications},
journal = {Fundam. Informaticae},
volume = {95},
number = {1},
pages = {73--102},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-143},
doi = {10.3233/FI-2009-143},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GuidiLMZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BravettiZ09,
author = {Mario Bravetti and
Gianluigi Zavattaro},
title = {On the expressive power of process interruption and compensation},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {3},
pages = {565--599},
year = {2009},
url = {https://doi.org/10.1017/S0960129509007683},
doi = {10.1017/S0960129509007683},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BravettiZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BravettiZ09a,
author = {Mario Bravetti and
Gianluigi Zavattaro},
title = {A theory of contracts for strong service compliance},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {3},
pages = {601--638},
year = {2009},
url = {https://doi.org/10.1017/S0960129509007658},
doi = {10.1017/S0960129509007658},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BravettiZ09a.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/Zavattaro09,
author = {Gianluigi Zavattaro},
title = {Nadia Busi's publications},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {6},
pages = {1279--1284},
year = {2009},
url = {https://doi.org/10.1017/S096012950999020X},
doi = {10.1017/S096012950999020X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Zavattaro09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DelzannoGGLZ09,
author = {Giorgio Delzanno and
Cinzia Di Giusto and
Maurizio Gabbrielli and
Cosimo Laneve and
Gianluigi Zavattaro},
editor = {Pierpaolo Degano and
Roberto Gorrieri},
title = {The \emph{kappa}-Lattice: Decidability Boundaries for Qualitative
Analysis in Biological Languages},
booktitle = {Computational Methods in Systems Biology, 7th International Conference,
{CMSB} 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5688},
pages = {158--172},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03845-7\_11},
doi = {10.1007/978-3-642-03845-7\_11},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DelzannoGGLZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/GiustoPZ09,
author = {Cinzia Di Giusto and
Jorge A. P{\'{e}}rez and
Gianluigi Zavattaro},
editor = {Martin Leucker and
Carroll Morgan},
title = {On the Expressiveness of Forwarding in Higher-Order Communication},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5684},
pages = {155--169},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03466-4\_10},
doi = {10.1007/978-3-642-03466-4\_10},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/GiustoPZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LaneseZ09,
author = {Ivan Lanese and
Gianluigi Zavattaro},
editor = {Dang Van Hung and
Padmanabhan Krishnan},
title = {Programming Sagas in {SOCK}},
booktitle = {Seventh {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
pages = {189--198},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEFM.2009.23},
doi = {10.1109/SEFM.2009.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/LaneseZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BravettiZ09,
author = {Mario Bravetti and
Gianluigi Zavattaro},
editor = {Marco Bernardo and
Luca Padovani and
Gianluigi Zavattaro},
title = {Contract-Based Discovery and Composition of Web Services},
booktitle = {Formal Methods for Web Services, 9th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
{SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5569},
pages = {261--295},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01918-0\_7},
doi = {10.1007/978-3-642-01918-0\_7},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BravettiZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LanevePZ09,
author = {Cosimo Laneve and
Sylvain Pradalier and
Gianluigi Zavattaro},
editor = {Christel Baier and
Alessandra Di Pierro},
title = {From Biochemistry to Stochastic Processes},
booktitle = {Proceedings of Seventh Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2009, York, UK, March 28-29, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {3},
pages = {167--185},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.011},
doi = {10.1016/J.ENTCS.2009.10.011},
timestamp = {Fri, 20 Jan 2023 14:27:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LanevePZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2009,
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
{CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5710},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04081-8},
doi = {10.1007/978-3-642-04081-8},
isbn = {978-3-642-04080-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2009,
editor = {Marco Bernardo and
Luca Padovani and
Gianluigi Zavattaro},
title = {Formal Methods for Web Services, 9th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
{SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5569},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01918-0},
doi = {10.1007/978-3-642-01918-0},
isbn = {978-3-642-01917-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BravettiZ08,
author = {Mario Bravetti and
Gianluigi Zavattaro},
title = {A Foundational Theory of Contracts for Multi-party Service Composition},
journal = {Fundam. Informaticae},
volume = {89},
number = {4},
pages = {451--478},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-4-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BravettiZ08.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/CrediGLPSZ08,
author = {Alberto Credi and
Marco Garavelli and
Cosimo Laneve and
Sylvain Pradalier and
Serena Silvi and
Gianluigi Zavattaro},
title = {nanoK: {A} calculus for the modeling and simulation of nano devices},
journal = {Theor. Comput. Sci.},
volume = {408},
number = {1},
pages = {17--30},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.07.006},
doi = {10.1016/J.TCS.2008.07.006},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CrediGLPSZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/CardelliZ08,
author = {Luca Cardelli and
Gianluigi Zavattaro},
editor = {Katsuhisa Horimoto and
Georg Regensburger and
Markus Rosenkranz and
Hiroshi Yoshida},
title = {On the Computational Power of Biochemistry},
booktitle = {Algebraic Biology, Third International Conference, {AB} 2008, Castle
of Hagenberg, Austria, July 31-August 2, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5147},
pages = {65--80},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85101-1\_6},
doi = {10.1007/978-3-540-85101-1\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/ab/CardelliZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/GuidiLMZ08,
author = {Claudio Guidi and
Ivan Lanese and
Fabrizio Montesi and
Gianluigi Zavattaro},
editor = {Jonathan Billington and
Zhenhua Duan and
Maciej Koutny},
title = {On the interplay between fault handling and request-response service
invocations},
booktitle = {8th International Conference on Application of Concurrency to System
Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
pages = {190--198},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ACSD.2008.4574611},
doi = {10.1109/ACSD.2008.4574611},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/acsd/GuidiLMZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ZavattaroC08,
author = {Gianluigi Zavattaro and
Luca Cardelli},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Termination Problems in Chemical Kinetics},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {477--491},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_37},
doi = {10.1007/978-3-540-85361-9\_37},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/ZavattaroC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/MontesiGLZ08,
author = {Fabrizio Montesi and
Claudio Guidi and
Ivan Lanese and
Gianluigi Zavattaro},
editor = {Claus Pahl and
Siobh{\'{a}}n Clarke and
Rik Eshuis},
title = {Dynamic Fault Handling Mechanisms for Service-Oriented Applications},
booktitle = {{ECOWS} 2008, Sixth European Conference on Web Services, 12-14 November
2008, Dublin, Ireland},
pages = {225--234},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ECOWS.2008.20},
doi = {10.1109/ECOWS.2008.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/MontesiGLZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LaneseGMZ08,
author = {Ivan Lanese and
Claudio Guidi and
Fabrizio Montesi and
Gianluigi Zavattaro},
editor = {Antonio Cerone and
Stefan Gruner},
title = {Bridging the Gap between Interaction- and Process-Oriented Choreographies},
booktitle = {Sixth {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
2008},
pages = {323--332},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEFM.2008.11},
doi = {10.1109/SEFM.2008.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/LaneseGMZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Zavattaro08,
author = {Gianluigi Zavattaro},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {A Gentle Introduction to Stochastic (Poly)Automata Collectives and
the (Bio)Chemical Ground Form},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {507--523},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_14},
doi = {10.1007/978-3-540-68894-5\_14},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Zavattaro08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BravettiLZ08,
author = {Mario Bravetti and
Ivan Lanese and
Gianluigi Zavattaro},
editor = {Christos Kaklamanis and
Flemming Nielson},
title = {Contract-Driven Implementation of Choreographies},
booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008,
Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5474},
pages = {1--18},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00945-7\_1},
doi = {10.1007/978-3-642-00945-7\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BravettiLZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BravettiLLMZ08,
author = {Mario Bravetti and
Diego Latella and
Michele Loreti and
Mieke Massink and
Gianluigi Zavattaro},
editor = {Christos Kaklamanis and
Flemming Nielson},
title = {Combining Timed Coordination Primitives and Probabilistic Tuple Spaces},
booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008,
Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5474},
pages = {52--68},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00945-7\_4},
doi = {10.1007/978-3-642-00945-7\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BravettiLLMZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BravettiZ08,
author = {Mario Bravetti and
Gianluigi Zavattaro},
editor = {Roberto Bruni and
Karsten Wolf},
title = {On the Expressive Power of Process Interruption and Compensation},
booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM}
2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5387},
pages = {1--18},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01364-5\_1},
doi = {10.1007/978-3-642-01364-5\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BravettiZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BravettiZ08a,
author = {Mario Bravetti and
Gianluigi Zavattaro},
editor = {Roberto Bruni and
Karsten Wolf},
title = {Contract Compliance and Choreography Conformance in the Presence of
Message Queues},
booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM}
2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5387},
pages = {37--54},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01364-5\_3},
doi = {10.1007/978-3-642-01364-5\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BravettiZ08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Zavattaro09,
author = {Gianluigi Zavattaro},
editor = {Gabriel Ciobanu},
title = {Reachability Analysis in BioAmbients},
booktitle = {Proceedings of the Second International Meeting on Membrane Computing
and Biologically Inspired Process Calculi, MeCBIC 2008, Ia{\c{s}}i,
Romania, September 3-4, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {227},
pages = {179--193},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.111},
doi = {10.1016/J.ENTCS.2008.12.111},
timestamp = {Fri, 24 Feb 2023 10:20:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Zavattaro09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2008,
editor = {Doug Lea and
Gianluigi Zavattaro},
title = {Coordination Models and Languages, 10th International Conference,
{COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5052},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68265-3},
doi = {10.1007/978-3-540-68265-3},
isbn = {978-3-540-68264-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2008,
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5},
doi = {10.1007/978-3-540-68894-5},
isbn = {978-3-540-68892-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BravettiZ07,
author = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Guest editor's introduction: Special issue on Web Services and Formal
Methods},
journal = {J. Log. Algebraic Methods Program.},
volume = {70},
number = {1},
pages = {1--2},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2006.05.001},
doi = {10.1016/J.JLAP.2006.05.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BravettiZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BravettiZ07a,
author = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Service oriented computing from a process algebraic perspective},
journal = {J. Log. Algebraic Methods Program.},
volume = {70},
number = {1},
pages = {3--14},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2006.05.002},
doi = {10.1016/J.JLAP.2006.05.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BravettiZ07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/CrediGLPSZ07,
author = {Alberto Credi and
Marco Garavelli and
Cosimo Laneve and
Sylvain Pradalier and
Serena Silvi and
Gianluigi Zavattaro},
editor = {Muffy Calder and
Stephen Gilmore},
title = {Modelization and Simulation of Nano Devices in {\textdollar}{\textbackslash}mathtt\{nano\}{\textbackslash}kappa{\textdollar}
Calculus},
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 = {168--183},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75140-3\_12},
doi = {10.1007/978-3-540-75140-3\_12},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/CrediGLPSZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BravettiZ07,
author = {Mario Bravetti and
Gianluigi Zavattaro},
editor = {Amy L. Murphy and
Jan Vitek},
title = {A Theory for Strong Service Compliance},
booktitle = {Coordination Models and Languages, 9th International Conference, {COORDINATION}
2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4467},
pages = {96--112},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72794-1\_6},
doi = {10.1007/978-3-540-72794-1\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BravettiZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/MontesiGZ07,
author = {Fabrizio Montesi and
Claudio Guidi and
Gianluigi Zavattaro},
title = {Composing Services with {JOLIE}},
booktitle = {Fifth {IEEE} European Conference on Web Services {(ECOWS} 2007), 26-28
November 2007, Halle (Saale), Germany},
pages = {13--22},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ECOWS.2007.19},
doi = {10.1109/ECOWS.2007.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/MontesiGZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BravettiZ07,
author = {Mario Bravetti and
Gianluigi Zavattaro},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Contract Based Multi-party Service Composition},
booktitle = {International Symposium on Fundamentals of Software Engineering, International
Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4767},
pages = {207--222},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75698-9\_14},
doi = {10.1007/978-3-540-75698-9\_14},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BravettiZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/BravettiZ07,
author = {Mario Bravetti and
Gianluigi Zavattaro},
editor = {Markus Lumpe and
Wim Vanderperren},
title = {Towards a Unifying Theory for Choreography Conformance and Contract
Compliance},
booktitle = {Software Composition - 6th International Symposium, SC@ETAPS 2007,
Braga, Portugal, March 24-25, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4829},
pages = {34--50},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77351-1\_4},
doi = {10.1007/978-3-540-77351-1\_4},
timestamp = {Thu, 25 Jun 2020 18:19:16 +0200},
biburl = {https://dblp.org/rec/conf/soco/BravettiZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GorrieriLZ06,
author = {Roberto Gorrieri and
Roberto Lucchi and
Gianluigi Zavattaro},
title = {Supporting Secure Coordination in SecSpaces},
journal = {Fundam. Informaticae},
volume = {73},
number = {4},
pages = {479--506},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi73-4-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GorrieriLZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FocardiZ06,
author = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {Guest editor's introduction: Special issue on security issues in coordination
models, languages, and systems},
journal = {Sci. Comput. Program.},
volume = {63},
number = {1},
pages = {1--2},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2006.05.005},
doi = {10.1016/J.SCICO.2006.05.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FocardiZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FocardiLZ06,
author = {Riccardo Focardi and
Roberto Lucchi and
Gianluigi Zavattaro},
title = {Secure shared data-space coordination languages: {A} process algebraic
survey},
journal = {Sci. Comput. Program.},
volume = {63},
number = {1},
pages = {3--15},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2005.07.011},
doi = {10.1016/J.SCICO.2005.07.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FocardiLZ06.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/tgc/WirsingNGHLTZ06,
author = {Martin Wirsing and
Rocco De Nicola and
Stephen Gilmore and
Matthias M. H{\"{o}}lzl and
Roberto Lucchi and
Mirco Tribastone and
Gianluigi Zavattaro},
editor = {Ugo Montanari and
Donald Sannella and
Roberto Bruni},
title = {SensoriaProcess Calculi for Service-Oriented Computing},
booktitle = {Trustworthy Global Computing, Second Symposium, {TGC} 2006, Lucca,
Italy, November 7-9, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4661},
pages = {30--50},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75336-0\_3},
doi = {10.1007/978-3-540-75336-0\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/WirsingNGHLTZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BorealeBCNLLMMRSVZ06,
author = {Michele Boreale and
Roberto Bruni and
Lu{\'{\i}}s Caires and
Rocco De Nicola and
Ivan Lanese and
Michele Loreti and
Francisco Martins and
Ugo Montanari and
Ant{\'{o}}nio Ravara and
Davide Sangiorgi and
Vasco Thudichum Vasconcelos and
Gianluigi Zavattaro},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {{SCC:} {A} Service Centered Calculus},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {38--57},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_3},
doi = {10.1007/11841197\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BorealeBCNLLMMRSVZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MontesiGLZ07,
author = {Fabrizio Montesi and
Claudio Guidi and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Guido Boella and
Mehdi Dastani and
Andrea Omicini and
Leon van der Torre and
Ivana Cern{\'{a}} and
Isabelle Linden},
title = {{JOLIE:} a Java Orchestration Language Interpreter Engine},
booktitle = {Combined Proceedings of the Second International Workshop on Coordination
and Organization (CoOrg 2006) and the Second International Workshop
on Methods and Tools for Coordinating Concurrent, Distributed and
Mobile Systems (MTCoord 2006), Bologna, Italy, June 13, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {181},
pages = {19--33},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.051},
doi = {10.1016/J.ENTCS.2007.01.051},
timestamp = {Tue, 24 Jan 2023 13:37:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MontesiGLZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2006,
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197},
doi = {10.1007/11841197},
isbn = {3-540-38862-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BravettiGLZ05,
author = {Mario Bravetti and
Roberto Gorrieri and
Roberto Lucchi and
Gianluigi Zavattaro},
title = {Quantitative information in the tuple space coordination model},
journal = {Theor. Comput. Sci.},
volume = {346},
number = {1},
pages = {28--57},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.08.004},
doi = {10.1016/J.TCS.2005.08.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BravettiGLZ05.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/fossacs/LaneveZ05,
author = {Cosimo Laneve and
Gianluigi Zavattaro},
editor = {Vladimiro Sassone},
title = {Foundations of Web Transactions},
booktitle = {Foundations of Software Science and Computational Structures, 8th
International Conference, {FOSSACS} 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 = {3441},
pages = {282--298},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31982-5\_18},
doi = {10.1007/978-3-540-31982-5\_18},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/LaneveZ05.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/sac/BravettiGLZ05,
author = {Mario Bravetti and
Claudio Guidi and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Supporting e-commerce systems formalization with choreography languages},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {831--835},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066867},
doi = {10.1145/1066677.1066867},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/BravettiGLZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/LaneveZ05,
author = {Cosimo Laneve and
Gianluigi Zavattaro},
editor = {Rocco De Nicola and
Davide Sangiorgi},
title = {web-pi at Work},
booktitle = {Trustworthy Global Computing, International Symposium, {TGC} 2005,
Edinburgh, UK, April 7-9, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3705},
pages = {182--194},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11580850\_11},
doi = {10.1007/11580850\_11},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/LaneveZ05.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/BravettiZ06,
author = {Mario Bravetti and
Gianluigi Zavattaro},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Service Oriented Computing: {A} New Challenge for Process Algebras},
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 = {121--125},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.116},
doi = {10.1016/J.ENTCS.2005.12.116},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiZ06.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BusiZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epew/2005,
editor = {Mario Bravetti and
Le{\"{\i}}la Kloul and
Gianluigi Zavattaro},
title = {Formal Techniques for Computer Systems and Business Processes, European
Performance Engineering Workshop, {EPEW} 2005 and International Workshop
on Web Services and Formal Methods, {WS-FM} 2005, Versailles, France,
September 1-3, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3670},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11549970},
doi = {10.1007/11549970},
isbn = {3-540-28701-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epew/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2005,
editor = {Martin Steffen and
Gianluigi Zavattaro},
title = {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},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b136996},
doi = {10.1007/B136996},
isbn = {3-540-26181-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/secco/2004,
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {Proceedings of the 2nd International Workshop on Security Issues in
Coordination Models, Languages, and Systems, SecCo 2004, London, UK,
August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {5},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/128/issue/5},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/secco/2004.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}
}
@inproceedings{DBLP:conf/coordination/BravettiGLZ04,
author = {Mario Bravetti and
Roberto Gorrieri and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Greg Meredith},
title = {Probabilistic and Prioritized Data Retrieval in the Linda Coordination
Model},
booktitle = {Coordination Models and Languages, 6th International Conference, {COORDINATION}
2004, Pisa, Italy, February 24-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2949},
pages = {55--70},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24634-3\_7},
doi = {10.1007/978-3-540-24634-3\_7},
timestamp = {Fri, 23 Jun 2023 22:30:54 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BravettiGLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CapizziSZ04,
author = {Sirio Capizzi and
Riccardo Solmi and
Gianluigi Zavattaro},
editor = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Greg Meredith},
title = {From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming},
booktitle = {Coordination Models and Languages, 6th International Conference, {COORDINATION}
2004, Pisa, Italy, February 24-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2949},
pages = {105--118},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24634-3\_10},
doi = {10.1007/978-3-540-24634-3\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CapizziSZ04.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:conf/sac/LucchiZ04,
author = {Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {WSSecSpaces: a secure data-driven coordination service for Web Services
applications},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {487--491},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.968001},
doi = {10.1145/967900.968001},
timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
biburl = {https://dblp.org/rec/conf/sac/LucchiZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BravettiLZG04,
author = {Mario Bravetti and
Roberto Lucchi and
Gianluigi Zavattaro and
Roberto Gorrieri},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {Web Services for E-commerce: guaranteeing security access and quality
of service},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {800--806},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.968065},
doi = {10.1145/967900.968065},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/BravettiLZG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiZ04,
author = {Mario Bravetti and
Gianluigi Zavattaro},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Preface},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {1--4},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.001},
doi = {10.1016/J.ENTCS.2004.11.001},
timestamp = {Fri, 09 Dec 2022 11:51:40 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FocardiZ05,
author = {Riccardo Focardi and
Gianluigi Zavattaro},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {Preface},
booktitle = {Proceedings of the 2nd International Workshop on Security Issues in
Coordination Models, Languages, and Systems, SecCo 2004, London, UK,
August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {5},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.037},
doi = {10.1016/J.ENTCS.2004.11.037},
timestamp = {Mon, 12 Dec 2022 15:38:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FocardiZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiGLZ05,
author = {Mario Bravetti and
Roberto Gorrieri and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {On the Expressiveness of Probabilistic and Prioritized Data-retrieval
in Linda},
booktitle = {Proceedings of the 2nd International Workshop on Security Issues in
Coordination Models, Languages, and Systems, SecCo 2004, London, UK,
August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {5},
pages = {39--53},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.041},
doi = {10.1016/J.ENTCS.2004.11.041},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiGLZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2004,
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/105/suppl/C},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BonsangueKZ03,
author = {Marcello M. Bonsangue and
Joost N. Kok and
Gianluigi Zavattaro},
title = {Comparing coordination models and architectures using embeddings},
journal = {Sci. Comput. Program.},
volume = {46},
number = {1-2},
pages = {31--69},
year = {2003},
url = {https://doi.org/10.1016/S0167-6423(02)00086-2},
doi = {10.1016/S0167-6423(02)00086-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BonsangueKZ03.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/fmoods/BocchiLZ03,
author = {Laura Bocchi and
Cosimo Laneve and
Gianluigi Zavattaro},
editor = {Elie Najm and
Uwe Nestmann and
Perdita Stevens},
title = {A Calculus for Long-Running Transactions},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
19.21, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2884},
pages = {124--138},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39958-2\_9},
doi = {10.1007/978-3-540-39958-2\_9},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/BocchiLZ03.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}
}
@inproceedings{DBLP:journals/entcs/BravettiGLZ04,
author = {Mario Bravetti and
Roberto Gorrieri and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Combining Partitions in SecSpaces},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {31--47},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.002},
doi = {10.1016/J.ENTCS.2004.02.002},
timestamp = {Thu, 08 Dec 2022 22:44:21 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiGLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FocardiZ03,
author = {Riccardo Focardi and
Gianluigi Zavattaro},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {Preface},
booktitle = {First International Workshop on Security Issues in Coordination Models,
Languages, and Systems, SecCo 2003, Satellite Event for {ICALP} 2003,
Eindhoven, The Netherlands, June 28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {3},
pages = {142},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80689-9},
doi = {10.1016/S1571-0661(05)80689-9},
timestamp = {Thu, 08 Dec 2022 14:22:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FocardiZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fgc/2003,
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {2nd {EATCS} Workshop on Foundations of Global Computing, {FGC} 2003,
Satellite Event of {ICALP} 2003, Eindhoven, The Netherlands, June
28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {1},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/85/issue/1},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fgc/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/secco/2003,
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {First International Workshop on Security Issues in Coordination Models,
Languages, and Systems, SecCo 2003, Satellite Event for {ICALP} 2003,
Eindhoven, The Netherlands, June 28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {3},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/85/issue/3},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/secco/2003.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/cooppn/GaspariZ01,
author = {Mauro Gaspari and
Gianluigi Zavattaro},
editor = {Gul Agha and
Fiorella de Cindio and
Grzegorz Rozenberg},
title = {An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers
Case Study},
booktitle = {Concurrent Object-Oriented Programming and Petri Nets, Advances in
Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {2001},
pages = {428--444},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45397-0\_17},
doi = {10.1007/3-540-45397-0\_17},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cooppn/GaspariZ01.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/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/BonsangueABRSZ00,
author = {Marcello M. Bonsangue and
Farhad Arbab and
J. W. de Bakker and
Jan J. M. M. Rutten and
A. Secutella and
Gianluigi Zavattaro},
title = {A transition system semantics for the control-driven coordination
language {MANIFOLD}},
journal = {Theor. Comput. Sci.},
volume = {240},
number = {1},
pages = {3--47},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00226-1},
doi = {10.1016/S0304-3975(99)00226-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BonsangueABRSZ00.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/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/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}
}
@inproceedings{DBLP:conf/concur/BoerZ99,
author = {Frank S. de Boer and
Gianluigi Zavattaro},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Generic Process Algebras for Asynchronous Communication},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {226--241},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_17},
doi = {10.1007/3-540-48320-9\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoerZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BonsangueKZ99,
author = {Marcello M. Bonsangue and
Joost N. Kok and
Gianluigi Zavattaro},
editor = {Paolo Ciancarini and
Alexander L. Wolf},
title = {Comparing Software Architectures for Coordination Languages},
booktitle = {Coordination Languages and Models, Third International Conference,
{COORDINATION} '99, Amsterdam, The Netherlands, April 26-28, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1594},
pages = {150--165},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48919-3\_12},
doi = {10.1007/3-540-48919-3\_12},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BonsangueKZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GaspariZ99,
author = {Mauro Gaspari and
Gianluigi Zavattaro},
editor = {Rachid Guerraoui},
title = {Process Algebraic Specification of the New Asynchronous {CORBA} Messaging
Service},
booktitle = {ECOOP'99 - Object-Oriented Programming, 13th European Conference,
Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1628},
pages = {495--518},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48743-3\_23},
doi = {10.1007/3-540-48743-3\_23},
timestamp = {Wed, 07 Dec 2022 23:08:18 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/GaspariZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/GaspariZ99,
author = {Mauro Gaspari and
Gianluigi Zavattaro},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {An Algebra of Actors},
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/GaspariZ99.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:journals/entcs/Zavattaro98,
author = {Gianluigi Zavattaro},
editor = {Ilaria Castellani and
Catuscia Palamidessi},
title = {Towards a Hierarchy of Negative Test Operators for Generative Communication},
booktitle = {Fifth International Workshop on Expressiveness in Concurrency, {EXPRESS}
1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September
7, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {2},
pages = {154--170},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(04)00125-2},
doi = {10.1016/S1571-0661(04)00125-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Zavattaro98.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}
}
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 2024-03-11 23:29 CET 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:
