Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mario Bravetti
@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/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}
}
@article{DBLP:journals/scp/BacchianiBGMR22,
author = {Lorenzo Bacchiani and
Mario Bravetti and
Marco Giunti and
Jo{\~{a}}o Mota and
Ant{\'{o}}nio Ravara},
title = {A Java typestate checker supporting inheritance},
journal = {Sci. Comput. Program.},
volume = {221},
pages = {102844},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2022.102844},
doi = {10.1016/J.SCICO.2022.102844},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BacchianiBGMR22.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}
}
@article{DBLP:journals/lmcs/Bravetti21,
author = {Mario Bravetti},
title = {Axiomatizing Maximal Progress and Discrete Time},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {1},
year = {2021},
url = {https://lmcs.episciences.org/7116},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Bravetti21.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/aplas/BravettiFGHJKR20,
author = {Mario Bravetti and
Adrian Francalanza and
Iaroslav Golovanov and
Hans H{\"{u}}ttel and
Mathias Jakobsen and
Mikkel Kettunen and
Ant{\'{o}}nio Ravara},
editor = {Bruno C. d. S. Oliveira},
title = {Behavioural Types for Memory and Method Safety in a Core Object-Oriented
Language},
booktitle = {Programming Languages and Systems - 18th Asian Symposium, {APLAS}
2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12470},
pages = {105--124},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64437-6\_6},
doi = {10.1007/978-3-030-64437-6\_6},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/BravettiFGHJKR20.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-2001-08040,
author = {Mario Bravetti},
title = {Axiomatizing Maximal Progress and Discrete Time},
journal = {CoRR},
volume = {abs/2001.08040},
year = {2020},
url = {https://arxiv.org/abs/2001.08040},
eprinttype = {arXiv},
eprint = {2001.08040},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-08040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-12793,
author = {Mario Bravetti and
Adrian Francalanza and
Iaroslav Golovanov and
Hans H{\"{u}}ttel and
Mathias Jakobsen and
Mikkel Kettunen and
Ant{\'{o}}nio Ravara},
title = {Behavioural Types for Memory and Method Safety in a Core Object-Oriented
Language},
journal = {CoRR},
volume = {abs/2002.12793},
year = {2020},
url = {https://arxiv.org/abs/2002.12793},
eprinttype = {arXiv},
eprint = {2002.12793},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12793.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/CamachoLNB19,
author = {Carlos Camacho and
Luis Llana and
Alberto N{\'{u}}{\~{n}}ez and
Mario Bravetti},
title = {Probabilistic software product lines},
journal = {J. Log. Algebraic Methods Program.},
volume = {107},
pages = {54--78},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.05.007},
doi = {10.1016/J.JLAMP.2019.05.007},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/CamachoLNB19.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/jlp/Bravetti18,
author = {Mario Bravetti},
title = {Reduction semantics in Markovian process algebra},
journal = {J. Log. Algebraic Methods Program.},
volume = {96},
pages = {41--64},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.01.002},
doi = {10.1016/J.JLAMP.2018.01.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Bravetti18.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}
}
@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/jiat/Boubeta-PuigBLM17,
author = {Juan Boubeta{-}Puig and
Mario Bravetti and
Luis Llana and
Mercedes G. Merayo},
title = {Analysis of temporal complex events in sensor networks},
journal = {J. Inf. Telecommun.},
volume = {1},
number = {3},
pages = {273--289},
year = {2017},
url = {https://doi.org/10.1080/24751839.2017.1347763},
doi = {10.1080/24751839.2017.1347763},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jiat/Boubeta-PuigBLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BravettiGLW17,
author = {Mario Bravetti and
Elena Giachino and
Michael Lienhardt and
Peter Y. H. Wong},
title = {Dynamic Rebinding for Concurrent Object Groups: Theory and practice},
journal = {J. Log. Algebraic Methods Program.},
volume = {86},
number = {1},
pages = {349--390},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2016.03.002},
doi = {10.1016/J.JLAMP.2016.03.002},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BravettiGLW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Bravetti17,
author = {Mario Bravetti},
title = {RESTful Services and Web-OS Middleware: a Formal Specification Approach},
journal = {J. Univers. Comput. Sci.},
volume = {23},
number = {9},
pages = {808--844},
year = {2017},
url = {http://www.jucs.org/jucs\_23\_9/restful\_services\_and\_web},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/Bravetti17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BravettiHM17,
author = {Mario Bravetti and
Robert M. Hierons and
Mercedes G. Merayo},
title = {Introduction to the Software Engineering and Formal Methods 2013 special
issue},
journal = {Softw. Syst. Model.},
volume = {16},
number = {1},
pages = {5--6},
year = {2017},
url = {https://doi.org/10.1007/s10270-015-0467-z},
doi = {10.1007/S10270-015-0467-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BravettiHM17.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/ftpl/AnconaBB0CDGGGH16,
author = {Davide Ancona and
Viviana Bono and
Mario Bravetti and
Joana Campos and
Giuseppe Castagna and
Pierre{-}Malo Deni{\'{e}}lou and
Simon J. Gay and
Nils Gesbert and
Elena Giachino and
Raymond Hu and
Einar Broch Johnsen and
Francisco Martins and
Viviana Mascardi and
Fabrizio Montesi and
Rumyana Neykova and
Nicholas Ng and
Luca Padovani and
Vasco T. Vasconcelos and
Nobuko Yoshida},
title = {Behavioral Types in Programming Languages},
journal = {Found. Trends Program. Lang.},
volume = {3},
number = {2-3},
pages = {95--230},
year = {2016},
url = {https://doi.org/10.1561/2500000031},
doi = {10.1561/2500000031},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ftpl/AnconaBB0CDGGGH16.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/jisis/BravettiLMM15,
author = {Mario Bravetti and
Alberto Lluch{-}Lafuente and
Manuel Mazzara and
Fabrizio Montesi},
title = {Guest Editorial: Special Issue on Service-Oriented Architectures and
Programming},
journal = {J. Internet Serv. Inf. Secur.},
volume = {5},
number = {1},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.22667/JISIS.2015.02.31.001},
doi = {10.22667/JISIS.2015.02.31.001},
timestamp = {Thu, 23 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jisis/BravettiLMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Bravetti15a,
author = {Mario Bravetti},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Massimo Tivoli},
title = {Towards Dynamic Updates in Service Composition},
booktitle = {Proceedings 14th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2015, Madrid, Spain,
5th September 2015},
series = {{EPTCS}},
volume = {201},
pages = {1--17},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.201.1},
doi = {10.4204/EPTCS.201.1},
timestamp = {Sat, 09 Apr 2022 12:27:09 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bravetti15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bravetti15,
author = {Mario Bravetti},
title = {Reduction Semantics in Markovian Process Algebra},
journal = {CoRR},
volume = {abs/1512.07098},
year = {2015},
url = {http://arxiv.org/abs/1512.07098},
eprinttype = {arXiv},
eprint = {1512.07098},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bravetti15.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}
}
@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:conf/wsfm/Bravetti13,
author = {Mario Bravetti},
editor = {Emilio Tuosto and
Chun Ouyang},
title = {Formalizing RESTful Services and Web-OS Middleware},
booktitle = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
2013, Beijing, China, August 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8379},
pages = {48--68},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-08260-8\_4},
doi = {10.1007/978-3-319-08260-8\_4},
timestamp = {Wed, 17 Mar 2021 14:09:58 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/Bravetti13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2013,
editor = {Robert M. Hierons and
Mercedes G. Merayo and
Mario Bravetti},
title = {Software Engineering and Formal Methods - 11th International Conference,
{SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8137},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40561-7},
doi = {10.1007/978-3-642-40561-7},
isbn = {978-3-642-40560-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2013.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}
}
@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/isola/LienhardtBS12,
author = {Michael Lienhardt and
Mario Bravetti and
Davide Sangiorgi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An Object Group-Based Component Model},
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 = {64--78},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_6},
doi = {10.1007/978-3-642-34026-0\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/LienhardtBS12.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/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}
}
@incollection{DBLP:books/sp/sensoria2011/BorealeB11,
author = {Michele Boreale and
Mario Bravetti},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Advanced Mechanisms for Service Composition, Query and Discovery},
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 = {282--301},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_13},
doi = {10.1007/978-3-642-20401-2\_13},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/BorealeB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2010,
editor = {Mario Bravetti and
Tevfik Bultan},
title = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6551},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19589-1},
doi = {10.1007/978-3-642-19589-1},
isbn = {978-3-642-19588-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/2010.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}
}
@article{DBLP:journals/corr/abs-1005-5045,
author = {Mario Bravetti},
title = {File Managing and Program Execution in Web Operating Systems},
journal = {CoRR},
volume = {abs/1005.5045},
year = {2010},
url = {http://arxiv.org/abs/1005.5045},
eprinttype = {arXiv},
eprint = {1005.5045},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-5045.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}
}
@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}
}
@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}
}
@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/AcetoBFG08,
author = {Luca Aceto and
Mario Bravetti and
Wan J. Fokkink and
Andrew D. Gordon},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {75},
number = {1},
pages = {1--2},
year = {2008},
url = {https://doi.org/10.1016/j.jlap.2007.06.001},
doi = {10.1016/J.JLAP.2007.06.001},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoBFG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BaetenB08,
author = {Jos C. M. Baeten and
Mario Bravetti},
title = {A ground-complete axiomatisation of finite-state processes in a generic
process algebra},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {6},
pages = {1057--1089},
year = {2008},
url = {https://doi.org/10.1017/S0960129508007111},
doi = {10.1017/S0960129508007111},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BaetenB08.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}
}
@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}
}
@article{DBLP:journals/jlp/AcetoBFG07,
author = {Luca Aceto and
Mario Bravetti and
Wan J. Fokkink and
Andrew D. Gordon},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {70},
number = {2},
pages = {119--120},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2006.08.002},
doi = {10.1016/J.JLAP.2006.08.002},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoBFG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoBFG07a,
author = {Luca Aceto and
Mario Bravetti and
Wan J. Fokkink and
Andrew D. Gordon},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {72},
number = {1},
pages = {1--2},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2007.02.001},
doi = {10.1016/J.JLAP.2007.02.001},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoBFG07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BravettiCNR07,
author = {Mario Bravetti and
Adalberto Casalboni and
Manuel N{\'{u}}{\~{n}}ez and
Ismael Rodr{\'{\i}}guez},
title = {From Theoretical e-Barter Models to Two Alternative Implementations
Based on Web Sevices},
journal = {J. Univers. Comput. Sci.},
volume = {13},
number = {13},
pages = {2035--2075},
year = {2007},
url = {https://doi.org/10.3217/jucs-013-13-2035},
doi = {10.3217/JUCS-013-13-2035},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BravettiCNR07.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/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}
}
@inproceedings{DBLP:conf/tgc/BravettiGGT07,
author = {Mario Bravetti and
Stephen Gilmore and
Claudio Guidi and
Mirco Tribastone},
editor = {Gilles Barthe and
C{\'{e}}dric Fournet},
title = {Replicating Web Services for Scalability},
booktitle = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis,
France, November 5-6, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4912},
pages = {204--221},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78663-4\_15},
doi = {10.1007/978-3-540-78663-4\_15},
timestamp = {Sat, 19 Oct 2019 20:09:31 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BravettiGGT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bravetti08,
author = {Mario Bravetti},
editor = {Roberto M. Amadio and
Thomas T. Hildebrandt},
title = {Expressing Priorities and External Probabilities in Process Algebra
via Mixed Open/Closed Systems},
booktitle = {Proceedings of the 14th International Workshop on Expressiveness in
Concurrency, {EXPRESS} 2007, Lisbon, Portugal, September 3, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {2},
pages = {31--57},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.11.003},
doi = {10.1016/J.ENTCS.2007.11.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bravetti08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bravetti08a,
author = {Mario Bravetti},
editor = {Catuscia Palamidessi and
Frank Valencia},
title = {Extensions of Standard Weak Bisimulation Machinery: Finite-state General
Processes, Refinable Actions, Maximal-progress and Time},
booktitle = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {209},
pages = {83--106},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.005},
doi = {10.1016/J.ENTCS.2008.04.005},
timestamp = {Mon, 13 Feb 2023 14:19:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bravetti08a.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/concur/BaetenB05,
author = {Jos C. M. Baeten and
Mario Bravetti},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {A Ground-Complete Axiomatization of Finite State Processes in Process
Algebra},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {248--262},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_21},
doi = {10.1007/11539452\_21},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaetenB05.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:journals/entcs/BaetenB06a,
author = {Jos C. M. Baeten and
Mario Bravetti},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {A Generic Process Algebra},
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 = {65--71},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.077},
doi = {10.1016/J.ENTCS.2005.12.077},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaetenB06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiHK06,
author = {Mario Bravetti and
Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {{YMCA:} - Why Markov Chain Algebra? -},
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 = {107--112},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.108},
doi = {10.1016/J.ENTCS.2005.12.108},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BravettiHK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bravetti06,
author = {Mario Bravetti},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Stochastic and Real Time in Process Algebra: {A} Conceptual Overview},
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 = {113--119},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.107},
doi = {10.1016/J.ENTCS.2005.12.107},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bravetti06.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiCNR06,
author = {Mario Bravetti and
Adalberto Casalboni and
Manuel N{\'{u}}{\~{n}}ez and
Ismael Rodr{\'{\i}}guez},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {From Theoretical e-barter Models to an Implementation Based on Web
Services},
booktitle = {Proceedings of the First {IPM} International Workshop on Foundations
of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {159},
pages = {241--264},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.09.034},
doi = {10.1016/J.ENTCS.2005.09.034},
timestamp = {Thu, 15 Dec 2022 16:21:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiCNR06.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}
}
@article{DBLP:journals/jcs/AldiniBG04,
author = {Alessandro Aldini and
Mario Bravetti and
Roberto Gorrieri},
title = {A process-algebraic approach for the analysis of probabilistic noninterference},
journal = {J. Comput. Secur.},
volume = {12},
number = {2},
pages = {191--245},
year = {2004},
url = {https://doi.org/10.3233/jcs-2004-12202},
doi = {10.3233/JCS-2004-12202},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/AldiniBG04.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/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/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 11:06:44 +0100},
biburl = {https://dblp.org/rec/conf/sac/BravettiLZG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Bravetti04,
author = {Mario Bravetti},
editor = {Marco Bernardo and
Flavio Corradini},
title = {Real Time and Stochastic Time},
booktitle = {Formal Methods for the Design of Real-Time Systems, International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3185},
pages = {132--180},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30080-9\_5},
doi = {10.1007/978-3-540-30080-9\_5},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Bravetti04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voss/BravettiD04,
author = {Mario Bravetti and
Pedro R. D'Argenio},
editor = {Christel Baier and
Boudewijn R. Haverkort and
Holger Hermanns and
Joost{-}Pieter Katoen and
Markus Siegle},
title = {Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic
Process Algebras with General Distributions},
booktitle = {Validation of Stochastic Systems - {A} Guide to Current Research},
series = {Lecture Notes in Computer Science},
volume = {2925},
pages = {44--88},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24611-4\_2},
doi = {10.1007/978-3-540-24611-4\_2},
timestamp = {Sat, 30 Sep 2023 09:58:24 +0200},
biburl = {https://dblp.org/rec/conf/voss/BravettiD04.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/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 15:38:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiGLZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mefisto/2003,
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {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},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/99/suppl/C},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mefisto/2003.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/tcs/BernardoB03,
author = {Marco Bernardo and
Mario Bravetti},
title = {Performance measure sensitive congruences for Markovian process algebras},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {1},
pages = {117--160},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00090-1},
doi = {10.1016/S0304-3975(01)00090-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BernardoB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BravettiA03,
author = {Mario Bravetti and
Alessandro Aldini},
title = {Discrete time generative-reactive probabilistic processes with different
advancing speeds},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {1},
pages = {355--406},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00344-9},
doi = {10.1016/S0304-3975(01)00344-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BravettiA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiG04,
author = {Mario Bravetti and
Roberto Gorrieri},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Preface: Proceedings of the {MEFISTO} Project 2003, Formal Methods
for Security and Time},
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 = {1--2},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.06.001},
doi = {10.1016/J.ENTCS.2004.06.001},
timestamp = {Thu, 08 Dec 2022 22:44:21 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiG04.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiGLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiGL03,
author = {Mario Bravetti and
Roberto Gorrieri and
Roberto Lucchi},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {A formal approach for checking security properties in SecSpaces},
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 = {54--70},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80684-4},
doi = {10.1016/S1571-0661(04)80684-4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BravettiGL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BravettiG02,
author = {Mario Bravetti and
Roberto Gorrieri},
title = {The theory of interactive generalized semi-Markov processes},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {1},
pages = {5--32},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00043-3},
doi = {10.1016/S0304-3975(01)00043-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BravettiG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BravettiG02,
author = {Mario Bravetti and
Roberto Gorrieri},
title = {Deciding and axiomatizing weak {ST} bisimulation for a process algebra
with recursion and action refinement},
journal = {{ACM} Trans. Comput. Log.},
volume = {3},
number = {4},
pages = {465--520},
year = {2002},
url = {https://doi.org/10.1145/566385.566386},
doi = {10.1145/566385.566386},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BravettiG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/AldiniBPGHW02,
author = {Alessandro Aldini and
Mario Bravetti and
Alessandra Di Pierro and
Roberto Gorrieri and
Chris Hankin and
Herbert Wiklicky},
editor = {Riccardo Focardi and
Roberto Gorrieri},
title = {Two Formal Approaches for Approximating Noninterference Properties},
booktitle = {Foundations of Security Analysis and Design II, {FOSAD} 2001/2002
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {2946},
pages = {1--43},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24631-2\_1},
doi = {10.1007/978-3-540-24631-2\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fosad/AldiniBPGHW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papm/Bravetti02,
author = {Mario Bravetti},
editor = {Holger Hermanns and
Roberto Segala},
title = {An Integrated Approach for the Specification and Analysis of Stochastic
Real-Time Systems},
booktitle = {Process Algebra and Probabilistic Methods, Performance Modeling and
Verification, Second Joint International Workshop {PAPM-PROBMIV} 2002,
Copenhagen, Denmark, July 25-26, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2399},
pages = {209--210},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45605-8\_14},
doi = {10.1007/3-540-45605-8\_14},
timestamp = {Sat, 30 Sep 2023 09:54:28 +0200},
biburl = {https://dblp.org/rec/conf/papm/Bravetti02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bravetti02,
author = {Mario Bravetti},
editor = {Walter Vogler and
Kim Larsen},
title = {An Integrated Approach for the Specification and Analysis of Stochastic
Real-Time Systems},
booktitle = {Proceedings of the International Workshop on Models for Time-Critical
Systems, {MTCS} 2002, {CONCUR} 2002 Satellite Workshop, Brno, Czech
Republic, August 24, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {5},
pages = {34--64},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80519-X},
doi = {10.1016/S1571-0661(04)80519-X},
timestamp = {Thu, 01 Dec 2022 15:09:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bravetti02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bravetti02a,
author = {Mario Bravetti},
editor = {Walter Vogler and
Kim Larsen},
title = {Revisiting Interactive Markov Chains},
booktitle = {Proceedings of the International Workshop on Models for Time-Critical
Systems, {MTCS} 2002, {CONCUR} 2002 Satellite Workshop, Brno, Czech
Republic, August 24, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {5},
pages = {65--84},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80520-6},
doi = {10.1016/S1571-0661(04)80520-6},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bravetti02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papm/BernardoB01,
author = {Marco Bernardo and
Mario Bravetti},
editor = {Luca de Alfaro and
Stephen Gilmore},
title = {Reward Based Congruences: Can We Aggregate More?},
booktitle = {Process Algebra and Probabilistic Methods, Performance Modeling and
Verification: Joint International Workshop, {PAPM-PROBMIV} 2001, Aachen,
Germany, September 12-14, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2165},
pages = {136--151},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44804-7\_9},
doi = {10.1007/3-540-44804-7\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/papm/BernardoB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papm/BravettiA01,
author = {Mario Bravetti and
Alessandro Aldini},
editor = {Luca de Alfaro and
Stephen Gilmore},
title = {Expressing Processes with Different Action Durations through Probabilities},
booktitle = {Process Algebra and Probabilistic Methods, Performance Modeling and
Verification: Joint International Workshop, {PAPM-PROBMIV} 2001, Aachen,
Germany, September 12-14, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2165},
pages = {168--183},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44804-7\_11},
doi = {10.1007/3-540-44804-7\_11},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/papm/BravettiA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiA01,
author = {Mario Bravetti and
Alessandro Aldini},
editor = {Flavio Corradini and
Walter Vogler},
title = {Non-determinism in Probabilistic Timed Systems with General Distributions},
booktitle = {Proceedings of the International Workshop on Models for Time-Critical
Systems, {MTCS} 2001, Satellite Event of {CONCUR} 2001, Aalborg, Denmark,
August 25, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {52},
number = {3},
pages = {246--274},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00227-0},
doi = {10.1016/S1571-0661(04)00227-0},
timestamp = {Thu, 01 Dec 2022 15:07:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AldiniB00,
author = {Alessandro Aldini and
Mario Bravetti},
editor = {Jos{\'{e}} D. P. Rolim and
Andrei Z. Broder and
Andrea Corradini and
Roberto Gorrieri and
Reiko Heckel and
Juraj Hromkovic and
Ugo Vaccaro and
J. B. Wells},
title = {An Asynchronous Calculus for Generative-Reactive Probalistic Systems},
booktitle = {{ICALP} Workshops 2000, Proceedings of the Satelite Workshops of the
27th International Colloquium on Automata, Languages and Programming,
Geneva, Switzerland, July 9-15, 2000},
pages = {591--606},
publisher = {Carleton Scientific, Waterloo, Ontario, Canada},
year = {2000},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AldiniB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BravettiG00,
author = {Mario Bravetti and
Roberto Gorrieri},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {A Complete Axiomatization for Observational Congruence of Prioritized
Finite-State Behaviors},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {744--755},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_62},
doi = {10.1007/3-540-45022-X\_62},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BravettiG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiB02,
author = {Mario Bravetti and
Marco Bernardo},
editor = {Flavio Corradini and
Paola Inverardi},
title = {Compositional Asymmetric Cooperations for Process Algebras with Probabilities,
Priorities, and Time},
booktitle = {Proceedings of the International Workshop on Models for Time-Critical
Systems, {MTCS} 2000, Satellite Workshop of {CONCUR} 2000, State College,
PA, USA, August 26, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {39},
number = {3},
pages = {197--230},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80749-2},
doi = {10.1016/S1571-0661(05)80749-2},
timestamp = {Thu, 01 Dec 2022 09:45:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiG99,
author = {Mario Bravetti and
Roberto Gorrieri},
editor = {Ilaria Castellani and
Bj{\"{o}}rn Victor},
title = {Deciding and Axiomatizing {ST} Bisimulation for a Process Algebra
with Recursion and Action Refinement},
booktitle = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS}
1999, Eindhoven, The Netherlands, August 23, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {27},
pages = {107--126},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80298-1},
doi = {10.1016/S1571-0661(05)80298-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BravettiBG98,
author = {Mario Bravetti and
Marco Bernardo and
Roberto Gorrieri},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {Towards Performance Evaluation with General Distributions in Process
Algebras},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {405--422},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055638},
doi = {10.1007/BFB0055638},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BravettiBG98.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-02-13 19:57 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:
