Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rocco De Nicola
@article{DBLP:journals/epjds/PratelliPSN24,
author = {Manuel Pratelli and
Marinella Petrocchi and
Fabio Saracco and
Rocco De Nicola},
title = {Online disinformation in the 2020 {U.S.} election: swing vs. safe
states},
journal = {{EPJ} Data Sci.},
volume = {13},
number = {1},
pages = {25},
year = {2024},
url = {https://doi.org/10.1140/epjds/s13688-024-00461-6},
doi = {10.1140/EPJDS/S13688-024-00461-6},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/epjds/PratelliPSN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-18664,
author = {Manuel Pratelli and
Marinella Petrocchi and
Fabio Saracco and
Rocco De Nicola},
title = {Online disinformation in the 2020 {U.S.} Election: swing vs. safe
states},
journal = {CoRR},
volume = {abs/2402.18664},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.18664},
doi = {10.48550/ARXIV.2402.18664},
eprinttype = {arXiv},
eprint = {2402.18664},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-18664.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/BistarelliNGLMV23,
author = {Stefano Bistarelli and
Rocco De Nicola and
Letterio Galletta and
Cosimo Laneve and
Ivan Mercanti and
Adele Veschetti},
title = {Stochastic modeling and analysis of the bitcoin protocol in the presence
of block communication delays},
journal = {Concurr. Comput. Pract. Exp.},
volume = {35},
number = {16},
year = {2023},
url = {https://doi.org/10.1002/cpe.6749},
doi = {10.1002/CPE.6749},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/BistarelliNGLMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/NicolaM23,
author = {Rocco De Nicola and
Hern{\'{a}}n C. Melgratti},
title = {Multiparty testing preorders},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:1)2023},
doi = {10.46298/LMCS-19(1:1)2023},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/NicolaM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/WirsingJN23,
author = {Martin Wirsing and
Stefan J{\"{a}}hnichen and
Rocco De Nicola},
title = {Rigorous engineering of collective adaptive systems - 2nd special
section},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {5},
pages = {617--624},
year = {2023},
url = {https://doi.org/10.1007/s10009-023-00734-x},
doi = {10.1007/S10009-023-00734-X},
timestamp = {Wed, 06 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/WirsingJN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/NicolaSIV23,
author = {Rocco De Nicola and
Luca Di Stefano and
Omar Inverso and
Serenella Valiani},
title = {Modelling flocks of birds and colonies of ants from the bottom up},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {5},
pages = {675--691},
year = {2023},
url = {https://doi.org/10.1007/s10009-023-00731-0},
doi = {10.1007/S10009-023-00731-0},
timestamp = {Wed, 06 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/NicolaSIV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/NicolaSIV23,
author = {Rocco De Nicola and
Luca Di Stefano and
Omar Inverso and
Serenella Valiani},
editor = {Jun Pang and
Joachim Niehren},
title = {Intuitive Modelling and Formal Analysis of Collective Behaviour in
Foraging Ants},
booktitle = {Computational Methods in Systems Biology - 21st International Conference,
{CMSB} 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14137},
pages = {44--61},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42697-1\_4},
doi = {10.1007/978-3-031-42697-1\_4},
timestamp = {Fri, 15 Sep 2023 15:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/NicolaSIV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eisa/SoderiN23,
author = {Simone Soderi and
Rocco De Nicola},
editor = {Jun Shao and
Sokratis K. Katsikas and
Weizhi Meng},
title = {{CONNECTION:} COvert chaNnel NEtwork attaCk Through bIt-rate mOdulatioN},
booktitle = {Emerging Information Security and Applications - 4th International
Conference, {EISA} 2023, Hangzhou, China, December 6-7, 2023, Proceedings},
series = {Communications in Computer and Information Science},
volume = {2004},
pages = {164--183},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-9614-8\_11},
doi = {10.1007/978-981-99-9614-8\_11},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eisa/SoderiN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/PratelliPSN23,
author = {Manuel Pratelli and
Marinella Petrocchi and
Fabio Saracco and
Rocco De Nicola},
editor = {Ying Ding and
Jie Tang and
Juan F. Sequeda and
Lora Aroyo and
Carlos Castillo and
Geert{-}Jan Houben},
title = {Swinging in the States: Does disinformation on Twitter mirror the
{US} presidential election system?},
booktitle = {Companion Proceedings of the {ACM} Web Conference 2023, {WWW} 2023,
Austin, TX, USA, 30 April 2023 - 4 May 2023},
pages = {1395--1403},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3543873.3587638},
doi = {10.1145/3543873.3587638},
timestamp = {Mon, 28 Aug 2023 21:17:11 +0200},
biburl = {https://dblp.org/rec/conf/www/PratelliPSN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-12474,
author = {Manuel Pratelli and
Marinella Petrocchi and
Fabio Saracco and
Rocco De Nicola},
title = {Swinging in the States: Does disinformation on Twitter mirror the
{US} presidential election system?},
journal = {CoRR},
volume = {abs/2303.12474},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.12474},
doi = {10.48550/ARXIV.2303.12474},
eprinttype = {arXiv},
eprint = {2303.12474},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-12474.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/SoderiN22,
author = {Simone Soderi and
Rocco De Nicola},
title = {6G Networks Physical Layer Security Using {RGB} Visible Light Communications},
journal = {{IEEE} Access},
volume = {10},
pages = {5482--5496},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2021.3139456},
doi = {10.1109/ACCESS.2021.3139456},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/SoderiN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NicolaSIU22,
author = {Rocco De Nicola and
Luca Di Stefano and
Omar Inverso and
Aline Uwimbabazi},
title = {Automated replication of tuple spaces via static analysis},
journal = {Sci. Comput. Program.},
volume = {223},
pages = {102863},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2022.102863},
doi = {10.1016/J.SCICO.2022.102863},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/NicolaSIU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/StefanoNI22,
author = {Luca Di Stefano and
Rocco De Nicola and
Omar Inverso},
title = {Verification of Distributed Systems via Sequential Emulation},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {31},
number = {3},
pages = {37:1--37:41},
year = {2022},
url = {https://doi.org/10.1145/3490387},
doi = {10.1145/3490387},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/StefanoNI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NicolaSIV22,
author = {Rocco De Nicola and
Luca Di Stefano and
Omar Inverso and
Serenella Valiani},
editor = {Nils Jansen and
Mari{\"{e}}lle Stoelinga and
Petra van den Bos},
title = {Process Algebras and Flocks of Birds},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning
- Essays Dedicated to Frits Vaandrager on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13560},
pages = {512--523},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15629-8\_27},
doi = {10.1007/978-3-031-15629-8\_27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NicolaSIV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WirsingNJ22,
author = {Martin Wirsing and
Rocco De Nicola and
Stefan J{\"{a}}hnichen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Rigorous Engineering of Collective Adaptive Systems Introduction to
the 4\({}^{\mbox{th}}\) Track Edition},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {3--12},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_1},
doi = {10.1007/978-3-031-19759-8\_1},
timestamp = {Fri, 21 Oct 2022 19:54:54 +0200},
biburl = {https://dblp.org/rec/conf/isola/WirsingNJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NicolaSIV22,
author = {Rocco De Nicola and
Luca Di Stefano and
Omar Inverso and
Serenella Valiani},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Modelling Flocks of Birds from the Bottom Up},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {82--96},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_6},
doi = {10.1007/978-3-031-19759-8\_6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/NicolaSIV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/HajnyRPLGN21,
author = {Jan Hajny and
Sara Ricci and
Edmundas Piesarskas and
Olivier Levillain and
Letterio Galletta and
Rocco De Nicola},
title = {Framework, Tools and Good Practices for Cybersecurity Curricula},
journal = {{IEEE} Access},
volume = {9},
pages = {94723--94747},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3093952},
doi = {10.1109/ACCESS.2021.3093952},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/HajnyRPLGN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/UriarteZKSZN21,
author = {Rafael Brundo Uriarte and
Huan Zhou and
Kyriakos Kritikos and
Zeshun Shi and
Zhiming Zhao and
Rocco De Nicola},
title = {Distributed service-level agreement management with smart contracts
and blockchain},
journal = {Concurr. Comput. Pract. Exp.},
volume = {33},
number = {14},
year = {2021},
url = {https://doi.org/10.1002/cpe.5800},
doi = {10.1002/CPE.5800},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/UriarteZKSZN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/epjds/CaldarelliNPPS21,
author = {Guido Caldarelli and
Rocco De Nicola and
Marinella Petrocchi and
Manuel Pratelli and
Fabio Saracco},
title = {Flow of online misinformation during the peak of the {COVID-19} pandemic
in Italy},
journal = {{EPJ} Data Sci.},
volume = {10},
number = {1},
pages = {34},
year = {2021},
url = {https://doi.org/10.1140/epjds/s13688-021-00289-4},
doi = {10.1140/EPJDS/S13688-021-00289-4},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/epjds/CaldarelliNPPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/epjds/CaldarelliNPPS21a,
author = {Guido Caldarelli and
Rocco De Nicola and
Marinella Petrocchi and
Manuel Pratelli and
Fabio Saracco},
title = {Correction to: Flow of online misinformation during the peak of the
{COVID-19} pandemic in Italy},
journal = {{EPJ} Data Sci.},
volume = {10},
number = {1},
pages = {38},
year = {2021},
url = {https://doi.org/10.1140/epjds/s13688-021-00296-5},
doi = {10.1140/EPJDS/S13688-021-00296-5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/epjds/CaldarelliNPPS21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipm/NicolaPP21,
author = {Rocco De Nicola and
Marinella Petrocchi and
Manuel Pratelli},
title = {On the efficacy of old features for the detection of new bots},
journal = {Inf. Process. Manag.},
volume = {58},
number = {6},
pages = {102685},
year = {2021},
url = {https://doi.org/10.1016/j.ipm.2021.102685},
doi = {10.1016/J.IPM.2021.102685},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipm/NicolaPP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BottoniNG21,
author = {Paolo Bottoni and
Rocco De Nicola and
Daniele Gorla},
title = {Tribute to Anna Labella},
journal = {J. Log. Algebraic Methods Program.},
volume = {121},
pages = {100663},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2021.100663},
doi = {10.1016/J.JLAMP.2021.100663},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/BottoniNG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/osnm/BalestrucciNPT21,
author = {Alessandro Balestrucci and
Rocco De Nicola and
Marinella Petrocchi and
Catia Trubiani},
title = {A behavioural analysis of credulous Twitter users},
journal = {Online Soc. Networks Media},
volume = {23},
pages = {100133},
year = {2021},
url = {https://doi.org/10.1016/j.osnem.2021.100133},
doi = {10.1016/J.OSNEM.2021.100133},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/osnm/BalestrucciNPT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NicolaDL21,
author = {Rocco De Nicola and
Tan Duong and
Michele Loreti},
title = {Provably correct implementation of the \emph{AbC} calculus},
journal = {Sci. Comput. Program.},
volume = {202},
pages = {102567},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2020.102567},
doi = {10.1016/J.SCICO.2020.102567},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/NicolaDL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/UwimbabaziIN21,
author = {Aline Uwimbabazi and
Omar Inverso and
Rocco De Nicola},
editor = {Hossein Hojjat and
Mieke Massink},
title = {Automated Replication of Tuple Spaces via Static Analysis},
booktitle = {Fundamentals of Software Engineering - 9th International Conference,
{FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12818},
pages = {18--34},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89247-0\_2},
doi = {10.1007/978-3-030-89247-0\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/UwimbabaziIN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/SiwachCN21,
author = {Chinmay Siwach and
Gabriele Costa and
Rocco De Nicola},
editor = {Alessandro Armando and
Michele Colajanni},
title = {Enhancing Malware Classification with Symbolic Features},
booktitle = {Proceedings of the Italian Conference on Cybersecurity, {ITASEC} 2021,
All Digital Event, April 7-9, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2940},
pages = {509--522},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2940/paper43.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:11 +0100},
biburl = {https://dblp.org/rec/conf/itasec/SiwachCN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-10782,
author = {Alessandro Balestrucci and
Rocco De Nicola and
Marinella Petrocchi and
Catia Trubiani},
title = {A Behavioural Analysis of Credulous Twitter Users},
journal = {CoRR},
volume = {abs/2101.10782},
year = {2021},
url = {https://arxiv.org/abs/2101.10782},
eprinttype = {arXiv},
eprint = {2101.10782},
timestamp = {Sun, 31 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-10782.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jitt/UriartePCCNTU20,
author = {Yesim Tonga Uriarte and
Marinella Petrocchi and
Maria Luisa Catoni and
Stefano Cresci and
Rocco De Nicola and
Maurizio Tesconi and
Rafael Brundo Uriarte},
title = {Exploring the relation between festivals and host cities on Twitter:
a study on the impacts of Lucca Comics {\&} Games},
journal = {J. Inf. Technol. Tour.},
volume = {22},
number = {4},
pages = {625--648},
year = {2020},
url = {https://doi.org/10.1007/s40558-020-00185-z},
doi = {10.1007/S40558-020-00185-Z},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jitt/UriartePCCNTU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/NicolaFPT20,
author = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Rosario Pugliese and
Francesco Tiezzi},
title = {A formal approach to the engineering of domain-specific distributed
systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {111},
pages = {100511},
year = {2020},
url = {https://doi.org/10.1016/j.jlamp.2019.100511},
doi = {10.1016/J.JLAMP.2019.100511},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/NicolaFPT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NicolaSI20,
author = {Rocco De Nicola and
Luca Di Stefano and
Omar Inverso},
title = {Multi-agent systems with virtual stigmergy},
journal = {Sci. Comput. Program.},
volume = {187},
pages = {102345},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2019.102345},
doi = {10.1016/J.SCICO.2019.102345},
timestamp = {Mon, 26 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/NicolaSI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlrahmanNL20,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
title = {Programming interactions in collective adaptive systems by relying
on attribute-based communication},
journal = {Sci. Comput. Program.},
volume = {192},
pages = {102428},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102428},
doi = {10.1016/J.SCICO.2020.102428},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AlrahmanNL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/NicolaJW20,
author = {Rocco De Nicola and
Stefan J{\"{a}}hnichen and
Martin Wirsing},
title = {Rigorous engineering of collective adaptive systems: special section},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {4},
pages = {389--397},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00565-0},
doi = {10.1007/S10009-020-00565-0},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/NicolaJW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/NicolaMS20,
author = {Rocco De Nicola and
Alessandro Maggi and
Joseph Sifakis},
title = {The DReAM framework for dynamic reconfigurable architecture modelling:
theory and applications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {4},
pages = {437--455},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00555-2},
doi = {10.1007/S10009-020-00555-2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/NicolaMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eais/BalestrucciN20,
author = {Alessandro Balestrucci and
Rocco De Nicola},
title = {Credulous Users and Fake News: a Real Case Study on the Propagation
in Twitter},
booktitle = {2020 {IEEE} Conference on Evolving and Adaptive Intelligent Systems,
{EAIS} 2020, Bari, Italy, May 27-29, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/EAIS48028.2020.9122764},
doi = {10.1109/EAIS48028.2020.9122764},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eais/BalestrucciN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BellucciniNDP0T20,
author = {Sara Belluccini and
Rocco De Nicola and
Marlon Dumas and
Pille Pullonen and
Barbara Re and
Francesco Tiezzi},
editor = {Kyungmin Bae and
Domenico Bianculli and
Stefania Gnesi and
Nico Plat},
title = {Verification of Privacy-Enhanced Collaborations},
booktitle = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods
in Software Engineering, Seoul, Republic of Korea, July 13, 2020},
pages = {141--152},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372020.3391553},
doi = {10.1145/3372020.3391553},
timestamp = {Thu, 27 Jul 2023 16:07:53 +0200},
biburl = {https://dblp.org/rec/conf/icse/BellucciniNDP0T20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BellucciniN0T20,
author = {Sara Belluccini and
Rocco De Nicola and
Barbara Re and
Francesco Tiezzi},
editor = {Brijesh Dongol and
Elena Troubitsyna},
title = {{PALM:} {A} Technique for Process ALgebraic Specification Mining},
booktitle = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
Lugano, Switzerland, November 16-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12546},
pages = {397--418},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63461-2\_22},
doi = {10.1007/978-3-030-63461-2\_22},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BellucciniN0T20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WirsingNJ20,
author = {Martin Wirsing and
Rocco De Nicola and
Stefan J{\"{a}}hnichen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Rigorous Engineering of Collective Adaptive Systems Introduction to
the 3rd Track Edition},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12477},
pages = {161--170},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61470-6\_10},
doi = {10.1007/978-3-030-61470-6\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/WirsingNJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NicolaDI20,
author = {Rocco De Nicola and
Tan Duong and
Omar Inverso},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Verifying AbC Specifications via Emulation},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12477},
pages = {261--279},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61470-6\_16},
doi = {10.1007/978-3-030-61470-6\_16},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/NicolaDI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-03550,
author = {Alessandro Balestrucci and
Rocco De Nicola},
title = {Credulous Users and Fake News: a Real Case Study on the Propagation
in Twitter},
journal = {CoRR},
volume = {abs/2005.03550},
year = {2020},
url = {https://arxiv.org/abs/2005.03550},
eprinttype = {arXiv},
eprint = {2005.03550},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-03550.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-01913,
author = {Guido Caldarelli and
Rocco De Nicola and
Marinella Petrocchi and
Manuel Pratelli and
Fabio Saracco},
title = {Analysis of online misinformation during the peak of the {COVID-19}
pandemics in Italy},
journal = {CoRR},
volume = {abs/2010.01913},
year = {2020},
url = {https://arxiv.org/abs/2010.01913},
eprinttype = {arXiv},
eprint = {2010.01913},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-01913.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/UriarteNST19,
author = {Rafael Brundo Uriarte and
Rocco De Nicola and
Vincenzo Scoca and
Francesco Tiezzi},
title = {Defining and guaranteeing dynamic service levels in clouds},
journal = {Future Gener. Comput. Syst.},
volume = {99},
pages = {27--40},
year = {2019},
url = {https://doi.org/10.1016/j.future.2019.04.001},
doi = {10.1016/J.FUTURE.2019.04.001},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/UriarteNST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/grid/AralBUNS19,
author = {Atakan Aral and
Ivona Brandic and
Rafael Brundo Uriarte and
Rocco De Nicola and
Vincenzo Scoca},
title = {Addressing Application Latency Requirements through Edge Scheduling},
journal = {J. Grid Comput.},
volume = {17},
number = {4},
pages = {677--698},
year = {2019},
url = {https://doi.org/10.1007/s10723-019-09493-z},
doi = {10.1007/S10723-019-09493-Z},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/grid/AralBUNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlrahmanNL19,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
title = {A calculus for collective-adaptive systems and its behavioural theory},
journal = {Inf. Comput.},
volume = {268},
year = {2019},
url = {https://doi.org/10.1016/j.ic.2019.104457},
doi = {10.1016/J.IC.2019.104457},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/AlrahmanNL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MaggiNS19,
author = {Alessandro Maggi and
Rocco De Nicola and
Joseph Sifakis},
editor = {Ezio Bartocci and
Rance Cleaveland and
Radu Grosu and
Oleg Sokolsky},
title = {A Logic-Inspired Approach to Reconfigurable System Modelling},
booktitle = {From Reactive Systems to Cyber-Physical Systems - Essays Dedicated
to Scott A. Smolka on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11500},
pages = {181--201},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31514-6\_11},
doi = {10.1007/978-3-030-31514-6\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MaggiNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NicolaDIM19,
author = {Rocco De Nicola and
Tan Duong and
Omar Inverso and
Franco Mazzanti},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {A Systematic Approach to Programming and Verifying Attribute-Based
Communication Systems},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
pages = {377--396},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_22},
doi = {10.1007/978-3-030-30985-5\_22},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NicolaDIM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NicolaDL19,
author = {Rocco De Nicola and
Tan Duong and
Michele Loreti},
editor = {Hanne Riis Nielson and
Emilio Tuosto},
title = {{ABEL} - {A} Domain Specific Framework for Programming with Attribute-Based
Communication},
booktitle = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2019, Held as Part of the 14th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11533},
pages = {111--128},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7\_7},
doi = {10.1007/978-3-030-22397-7\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NicolaDL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideal/BalestrucciNPT19,
author = {Alessandro Balestrucci and
Rocco De Nicola and
Marinella Petrocchi and
Catia Trubiani},
editor = {Hujun Yin and
David Camacho and
Peter Ti{\~{n}}o and
Antonio J. Tall{\'{o}}n{-}Ballesteros and
Ronaldo Menezes and
Richard Allmendinger},
title = {Do You Really Follow Them? Automatic Detection of Credulous Twitter
Users},
booktitle = {Intelligent Data Engineering and Automated Learning - {IDEAL} 2019
- 20th International Conference, Manchester, UK, November 14-16, 2019,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11871},
pages = {402--410},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33607-3\_44},
doi = {10.1007/978-3-030-33607-3\_44},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ideal/BalestrucciNPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ircdl/CozzaHPN19,
author = {Vittoria Cozza and
Van Tien Hoang and
Marinella Petrocchi and
Rocco De Nicola},
editor = {Paolo Manghi and
Leonardo Candela and
Gianmaria Silvello},
title = {Transparency in Keyword Faceted Search: An Investigation on Google
Shopping},
booktitle = {Digital Libraries: Supporting Open Science - 15th Italian Research
Conference on Digital Libraries, {IRCDL} 2019, Pisa, Italy, January
31 - February 1, 2019, Proceedings},
series = {Communications in Computer and Information Science},
volume = {988},
pages = {29--43},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11226-4\_3},
doi = {10.1007/978-3-030-11226-4\_3},
timestamp = {Tue, 21 Mar 2023 21:00:12 +0100},
biburl = {https://dblp.org/rec/conf/ircdl/CozzaHPN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BalestrucciNIT19,
author = {Alessandro Balestrucci and
Rocco De Nicola and
Omar Inverso and
Catia Trubiani},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Identification of credulous users on Twitter},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {2096--2103},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297486},
doi = {10.1145/3297280.3297486},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BalestrucciNIT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-12687,
author = {Guido Caldarelli and
Rocco De Nicola and
Fabio Del Vigna and
Marinella Petrocchi and
Fabio Saracco},
title = {The role of bot squads in the political propaganda on Twitter},
journal = {CoRR},
volume = {abs/1905.12687},
year = {2019},
url = {http://arxiv.org/abs/1905.12687},
eprinttype = {arXiv},
eprint = {1905.12687},
timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-12687.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-03851,
author = {Alessandro Balestrucci and
Rocco De Nicola and
Marinella Petrocchi and
Catia Trubiani},
title = {Do you really follow them? Automatic detection of credulous Twitter
users},
journal = {CoRR},
volume = {abs/1909.03851},
year = {2019},
url = {http://arxiv.org/abs/1909.03851},
eprinttype = {arXiv},
eprint = {1909.03851},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-03851.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-01289,
author = {Rocco De Nicola and
Gianluigi Ferrari and
Rosario Pugliese and
Francesco Tiezzi},
title = {A Formal Approach to the Engineering of Domain-Specific Distributed
Systems},
journal = {CoRR},
volume = {abs/1912.01289},
year = {2019},
url = {http://arxiv.org/abs/1912.01289},
eprinttype = {arXiv},
eprint = {1912.01289},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-01289.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/BuravlevNM18,
author = {Vitaly Buravlev and
Rocco De Nicola and
Claudio Antares Mezzina},
title = {Evaluating the efficiency of Linda implementations},
journal = {Concurr. Comput. Pract. Exp.},
volume = {30},
number = {8},
year = {2018},
url = {https://doi.org/10.1002/cpe.4381},
doi = {10.1002/CPE.4381},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/BuravlevNM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csm/UriarteN18,
author = {Rafael Brundo Uriarte and
Rocco De Nicola},
title = {Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities,
and Standards},
journal = {{IEEE} Commun. Stand. Mag.},
volume = {2},
number = {3},
pages = {22--28},
year = {2018},
url = {http://doi.ieeecomputersociety.org/10.1109/MCOMSTD.2018.1800020},
doi = {10.1109/MCOMSTD.2018.1800020},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csm/UriarteN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/firai/NicolaSI18,
author = {Rocco De Nicola and
Luca Di Stefano and
Omar Inverso},
title = {Toward Formal Models and Languages for Verifiable Multi-Robot Systems},
journal = {Frontiers Robotics {AI}},
volume = {5},
pages = {94},
year = {2018},
url = {https://doi.org/10.3389/frobt.2018.00094},
doi = {10.3389/FROBT.2018.00094},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/firai/NicolaSI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NicolaDIT18,
author = {Rocco De Nicola and
Tan Duong and
Omar Inverso and
Catia Trubiani},
title = {AErlang: Empowering Erlang with attribute-based communication},
journal = {Sci. Comput. Program.},
volume = {168},
pages = {71--93},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2018.08.006},
doi = {10.1016/J.SCICO.2018.08.006},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/NicolaDIT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/ScocaABNU18,
author = {Vincenzo Scoca and
Atakan Aral and
Ivona Brandic and
Rocco De Nicola and
Rafael Brundo Uriarte},
editor = {V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz and
Donald Ferguson and
Markus Helfert and
Claus Pahl},
title = {Scheduling Latency-Sensitive Applications in Edge Computing},
booktitle = {Proceedings of the 8th International Conference on Cloud Computing
and Services Science, {CLOSER} 2018, Funchal, Madeira, Portugal, March
19-21, 2018},
pages = {158--168},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006706201580168},
doi = {10.5220/0006706201580168},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/closer/ScocaABNU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcom/UriarteNK18,
author = {Rafael Brundo Uriarte and
Rocco De Nicola and
Kyriakos Kritikos},
title = {Towards Distributed {SLA} Management with Smart Contracts and Blockchain},
booktitle = {2018 {IEEE} International Conference on Cloud Computing Technology
and Science, CloudCom 2018, Nicosia, Cyprus, December 10-13, 2018},
pages = {266--271},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/CloudCom2018.2018.00059},
doi = {10.1109/CLOUDCOM2018.2018.00059},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloudcom/UriarteNK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NicolaFPT18,
author = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Rosario Pugliese and
Francesco Tiezzi},
editor = {Giovanna Di Marzo Serugendo and
Michele Loreti},
title = {A Formal Approach to the Engineering of Domain-Specific Distributed
Systems},
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 = {110--141},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92408-3\_5},
doi = {10.1007/978-3-319-92408-3\_5},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NicolaFPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AlrahmanNGL18,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Giulio Garbi and
Michele Loreti},
editor = {Christel Baier and
Lu{\'{\i}}s Caires},
title = {A Distributed Coordination Infrastructure for Attribute-Based Interaction},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 38th {IFIP} {WG} 6.1 International Conference, {FORTE} 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 = {10854},
pages = {1--20},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92612-4\_1},
doi = {10.1007/978-3-319-92612-4\_1},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AlrahmanNGL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NicolaJW18,
author = {Rocco De Nicola and
Stefan J{\"{a}}hnichen and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Rigorous Engineering of Collective Adaptive Systems Introduction to
the 2nd Track Edition},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {3--12},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_1},
doi = {10.1007/978-3-030-03424-5\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/NicolaJW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NicolaMS18,
author = {Rocco De Nicola and
Alessandro Maggi and
Joseph Sifakis},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {DReAM: Dynamic Reconfigurable Architecture Modeling},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {13--31},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_2},
doi = {10.1007/978-3-030-03424-5\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/NicolaMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JahnichenNW18,
author = {Stefan J{\"{a}}hnichen and
Rocco De Nicola and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The Meaning of Adaptation: Mastering the Unforeseen?},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {109--117},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_8},
doi = {10.1007/978-3-030-03424-5\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/JahnichenNW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AlrahmanNG18,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Giulio Garbi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {\emph{G}o\emph{A}t: Attribute-Based Interaction in Google Go},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {288--303},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_19},
doi = {10.1007/978-3-030-03424-5\_19},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AlrahmanNG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/PuligaCCN18,
author = {Michelangelo Puliga and
Guido Caldarelli and
Alessandro Chessa and
Rocco De Nicola},
editor = {Elena Ferrari and
Marco Baldi and
Roberto Baldoni},
title = {Understanding the Twitter User Networks of Viruses and Ransomware
Attacks},
booktitle = {Proceedings of the Second Italian Conference on Cyber Security, Milan,
Italy, February 6th - to - 9th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2058},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2058/paper-09.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:11 +0100},
biburl = {https://dblp.org/rec/conf/itasec/PuligaCCN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/BuravlevNLM18,
author = {Vitaly Buravlev and
Rocco De Nicola and
Alberto Lluch{-}Lafuente and
Claudio Antares Mezzina},
editor = {Ivan Merelli and
Pietro Li{\`{o}} and
Igor V. Kotenko},
title = {Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions
and Replication Strategies},
booktitle = {26th Euromicro International Conference on Parallel, Distributed and
Network-based Processing, {PDP} 2018, Cambridge, United Kingdom, March
21-23, 2018},
pages = {302--305},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/PDP2018.2018.00052},
doi = {10.1109/PDP2018.2018.00052},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/BuravlevNLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/TanoliPN18,
author = {Irfan Khan Tanoli and
Marinella Petrocchi and
Rocco De Nicola},
title = {Towards automatic translation of social network policies into controlled
natural language},
booktitle = {12th International Conference on Research Challenges in Information
Science, {RCIS} 2018, Nantes, France, May 29-31, 2018},
pages = {1--12},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/RCIS.2018.8406683},
doi = {10.1109/RCIS.2018.8406683},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rcis/TanoliPN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/NicolaSI18,
author = {Rocco De Nicola and
Luca Di Stefano and
Omar Inverso},
editor = {Manuel Mazzara and
Iulian Ober and
Gwen Sala{\"{u}}n},
title = {Multi-agent Systems with Virtual Stigmergy},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2018
Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11176},
pages = {351--366},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-04771-9\_26},
doi = {10.1007/978-3-030-04771-9\_26},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/staf/NicolaSI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08091,
author = {Rocco De Nicola and
Luca Di Stefano and
Omar Inverso},
title = {Towards formal models and languages for verifiable Multi-Robot Systems},
journal = {CoRR},
volume = {abs/1804.08091},
year = {2018},
url = {http://arxiv.org/abs/1804.08091},
eprinttype = {arXiv},
eprint = {1804.08091},
timestamp = {Mon, 26 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-08091.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-03724,
author = {Rocco De Nicola and
Alessandro Maggi and
Joseph Sifakis},
title = {DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)},
journal = {CoRR},
volume = {abs/1805.03724},
year = {2018},
url = {http://arxiv.org/abs/1805.03724},
eprinttype = {arXiv},
eprint = {1805.03724},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-03724.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/LabellaN17,
author = {Anna Labella and
Rocco De Nicola},
title = {Initial Algebra for a System of Right-Linear Functors},
journal = {Acta Cybern.},
volume = {23},
number = {1},
pages = {191--201},
year = {2017},
url = {https://doi.org/10.14232/actacyb.23.1.2017.12},
doi = {10.14232/ACTACYB.23.1.2017.12},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/actaC/LabellaN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/ScocaUN17,
author = {Vincenzo Scoca and
Rafael Brundo Uriarte and
Rocco De Nicola},
editor = {Geoffrey C. Fox},
title = {Smart Contract Negotiation in Cloud Computing},
booktitle = {2017 {IEEE} 10th International Conference on Cloud Computing (CLOUD),
Honolulu, HI, USA, June 25-30, 2017},
pages = {592--599},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/CLOUD.2017.81},
doi = {10.1109/CLOUD.2017.81},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcloud/ScocaUN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NicolaDIM17,
author = {Rocco De Nicola and
Tan Duong and
Omar Inverso and
Franco Mazzanti},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Verifying Properties of Systems Relying on Attribute-Based Communication},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {169--190},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_9},
doi = {10.1007/978-3-319-68270-9\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NicolaDIM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NicolaDIT17,
author = {Rocco De Nicola and
Tan Duong and
Omar Inverso and
Catia Trubiani},
editor = {Jean{-}Marie Jacquet and
Mieke Massink},
title = {AErlang: Empowering Erlang with Attribute-Based Communication},
booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2017, Held as Part of the 12th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10319},
pages = {21--39},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59746-1\_2},
doi = {10.1007/978-3-319-59746-1\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NicolaDIT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/NicolaDIT17,
author = {Rocco De Nicola and
Tan Duong and
Omar Inverso and
Catia Trubiani},
editor = {Bernhard Steffen and
Christel Baier and
Mark van den Brand and
Johann Eder and
Mike Hinchey and
Tiziana Margaria},
title = {AErlang at Work},
booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
Conference on Current Trends in Theory and Practice of Computer Science,
Limerick, Ireland, January 16-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10139},
pages = {485--497},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51963-0\_38},
doi = {10.1007/978-3-319-51963-0\_38},
timestamp = {Sun, 02 Oct 2022 16:15:51 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/NicolaDIT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-06092,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
title = {Programming the Interactions of Collective Adaptive Systems by Relying
on Attribute-based Communication},
journal = {CoRR},
volume = {abs/1711.06092},
year = {2017},
url = {http://arxiv.org/abs/1711.06092},
eprinttype = {arXiv},
eprint = {1711.06092},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-06092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-09762,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
title = {A Behavioural Theory for Interactions in Collective-Adaptive Systems},
journal = {CoRR},
volume = {abs/1711.09762},
year = {2017},
url = {http://arxiv.org/abs/1711.09762},
eprinttype = {arXiv},
eprint = {1711.09762},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-09762.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AndricNL16,
author = {Marina Andric and
Rocco De Nicola and
Alberto Lluch{-}Lafuente},
editor = {Christian W. Probst and
Chris Hankin and
Ren{\'{e}} Rydhof Hansen},
title = {Replicating Data for Better Performances in {X10}},
booktitle = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson
and Flemming Nielson on the Occasion of Their 60th Birthdays},
series = {Lecture Notes in Computer Science},
volume = {9560},
pages = {236--251},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27810-0\_12},
doi = {10.1007/978-3-319-27810-0\_12},
timestamp = {Tue, 21 Mar 2023 20:58:42 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AndricNL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BuravlevNM16,
author = {Vitaly Buravlev and
Rocco De Nicola and
Claudio Antares Mezzina},
editor = {Alberto Lluch{-}Lafuente and
Jos{\'{e}} Proen{\c{c}}a},
title = {Tuple Spaces Implementations and Their Efficiency},
booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2016, Held as Part of the 11th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9686},
pages = {51--66},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39519-7\_4},
doi = {10.1007/978-3-319-39519-7\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BuravlevNM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/UriarteTN16,
author = {Rafael Brundo Uriarte and
Francesco Tiezzi and
Rocco De Nicola},
editor = {Marco Aiello and
Einar Broch Johnsen and
Schahram Dustdar and
Ilche Georgievski},
title = {Dynamic SLAs for Clouds},
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 = {34--49},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44482-6\_3},
doi = {10.1007/978-3-319-44482-6\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esocc/UriarteTN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/finrec/HoangCPN16,
author = {Van Tien Hoang and
Vittoria Cozza and
Marinella Petrocchi and
Rocco De Nicola},
editor = {Giovanni Semeraro and
Cataldo Musto and
Mathias Bauer},
title = {Online User Behavioural Modeling with Applications to Price Steering},
booktitle = {Proceedings of the 2nd International Workshop on Personalization {\&}
Recommender Systems in Financial Services, Bari, Italy, June 16, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1606},
pages = {16--21},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1606/paper04.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/finrec/HoangCPN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AlrahmanNL16,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
editor = {Elvira Albert and
Ivan Lanese},
title = {On the Power of Attribute-Based Communication},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held
as Part of the 11th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June
6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9688},
pages = {1--18},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39570-8\_1},
doi = {10.1007/978-3-319-39570-8\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AlrahmanNL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AlrahmanNL16,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Programming of {CAS} Systems by Relying on Attribute-Based Communication},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {539--553},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_38},
doi = {10.1007/978-3-319-47166-2\_38},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AlrahmanNL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2016,
editor = {Rocco De Nicola and
Eva K{\"{u}}hn},
title = {Software Engineering and Formal Methods - 14th International Conference,
{SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9763},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41591-8},
doi = {10.1007/978-3-319-41591-8},
isbn = {978-3-319-41590-1},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2016,
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8},
doi = {10.1007/978-3-319-34096-8},
isbn = {978-3-319-34095-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlrahmanNL16,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
title = {On the Power of Attribute-based Communication},
journal = {CoRR},
volume = {abs/1602.05635},
year = {2016},
url = {http://arxiv.org/abs/1602.05635},
eprinttype = {arXiv},
eprint = {1602.05635},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlrahmanNL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BuravlevNM16,
author = {Vitaly Buravlev and
Rocco De Nicola and
Claudio Antares Mezzina},
title = {Tuple spaces implementations and their efficiency},
journal = {CoRR},
volume = {abs/1612.02979},
year = {2016},
url = {http://arxiv.org/abs/1612.02979},
eprinttype = {arXiv},
eprint = {1612.02979},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BuravlevNM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NicolaM16,
author = {Rocco De Nicola and
Hern{\'{a}}n C. Melgratti},
title = {Multiparty testing preorders},
journal = {CoRR},
volume = {abs/1612.03191},
year = {2016},
url = {http://arxiv.org/abs/1612.03191},
eprinttype = {arXiv},
eprint = {1612.03191},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NicolaM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BernardoNL15,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
title = {Revisiting bisimilarity and its modal logic for nondeterministic and
probabilistic processes},
journal = {Acta Informatica},
volume = {52},
number = {1},
pages = {61--106},
year = {2015},
url = {https://doi.org/10.1007/s00236-014-0210-1},
doi = {10.1007/S00236-014-0210-1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BernardoNL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Nicola15,
author = {Rocco De Nicola},
title = {{EATCS} Fellows 2016 - Call for Nominations},
journal = {Bull. {EATCS}},
volume = {117},
year = {2015},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/371},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Nicola15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BorealeBNL15,
author = {Michele Boreale and
Roberto Bruni and
Rocco De Nicola and
Michele Loreti},
title = {CaSPiS: a calculus of sessions, pipelines and services},
journal = {Math. Struct. Comput. Sci.},
volume = {25},
number = {3},
pages = {666--709},
year = {2015},
url = {https://doi.org/10.1017/S0960129512000953},
doi = {10.1017/S0960129512000953},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BorealeBNL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NicolaH15,
author = {Rocco De Nicola and
Rolf Hennicker},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {A Homage to Martin Wirsing},
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 = {1--12},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_1},
doi = {10.1007/978-3-319-15545-6\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NicolaH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NicolaMV15,
author = {Rocco De Nicola and
Claudio Antares Mezzina and
Hugo Torres Vieira},
editor = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
title = {Global Protocol Implementations via Attribute-Based Communication},
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 = {219--237},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25527-9\_15},
doi = {10.1007/978-3-319-25527-9\_15},
timestamp = {Fri, 23 Jun 2023 22:30:53 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NicolaMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AndricNL15,
author = {Marina Andric and
Rocco De Nicola and
Alberto Lluch{-}Lafuente},
editor = {Tom Holvoet and
Mirko Viroli},
title = {Replica-Based High-Performance Tuple Space Computing},
booktitle = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2015, Held as Part of the 10th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2015, Grenoble, France, June 2-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9037},
pages = {3--18},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19282-6\_1},
doi = {10.1007/978-3-319-19282-6\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AndricNL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AlrahmanNLTV15,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti and
Francesco Tiezzi and
Roberto Vigo},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {A calculus for attribute-based communication},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {1840--1845},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695668},
doi = {10.1145/2695664.2695668},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/AlrahmanNLTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ShamsCN15,
author = {Farshad Shams and
Antonio Cerone and
Rocco De Nicola},
editor = {Domenico Bianculli and
Radu Calinescu and
Bernhard Rumpe},
title = {On Integrating Social and Sensor Networks for Emergency Management},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops:
ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9509},
pages = {145--160},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-49224-6\_13},
doi = {10.1007/978-3-662-49224-6\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ShamsCN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/NicolaMPST15,
author = {Rocco De Nicola and
Alessandro Maggi and
Marinella Petrocchi and
Angelo Spognardi and
Francesco Tiezzi},
editor = {Radu Calinescu and
Bernhard Rumpe},
title = {Twitlang(er): Interactions Modeling Language (and Interpreter) for
Twitter},
booktitle = {Software Engineering and Formal Methods - 13th International Conference,
{SEFM} 2015, York, UK, September 7-11, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9276},
pages = {327--343},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22969-0\_23},
doi = {10.1007/978-3-319-22969-0\_23},
timestamp = {Sat, 30 Sep 2023 09:56:03 +0200},
biburl = {https://dblp.org/rec/conf/sefm/NicolaMPST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/NicolaM15,
author = {Rocco De Nicola and
Hern{\'{a}}n C. Melgratti},
editor = {Pierre Ganty and
Michele Loreti},
title = {Multiparty Testing Preorders},
booktitle = {Trustworthy Global Computing - 10th International Symposium, {TGC}
2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9533},
pages = {16--31},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28766-9\_2},
doi = {10.1007/978-3-319-28766-9\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/NicolaM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BortolussiNGGHL15,
author = {Luca Bortolussi and
Rocco De Nicola and
Vashti Galpin and
Stephen Gilmore and
Jane Hillston and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Nathalie Bertrand and
Mirco Tribastone},
title = {{CARMA:} Collective Adaptive Resource-sharing Markovian Agents},
booktitle = {Proceedings Thirteenth Workshop on Quantitative Aspects of Programming
Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015},
series = {{EPTCS}},
volume = {194},
pages = {16--31},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.194.2},
doi = {10.4204/EPTCS.194.2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BortolussiNGGHL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HoangSTPN15,
author = {Van Tien Hoang and
Angelo Spognardi and
Francesco Tiezzi and
Marinella Petrocchi and
Rocco De Nicola},
editor = {Maurice H. ter Beek and
Alberto Lluch{-}Lafuente},
title = {Domain-specific queries and Web search personalization: some investigations},
booktitle = {Proceedings 11th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2015, Oslo, Norway, 23rd June
2015},
series = {{EPTCS}},
volume = {188},
pages = {51--58},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.188.6},
doi = {10.4204/EPTCS.188.6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HoangSTPN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/NicolaLLLMMMPTV15,
author = {Rocco De Nicola and
Diego Latella and
Alberto Lluch{-}Lafuente and
Michele Loreti and
Andrea Margheri and
Mieke Massink and
Andrea Morichetta and
Rosario Pugliese and
Francesco Tiezzi and
Andrea Vandin},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
title = {The {SCEL} Language: Design, Implementation, Verification},
booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
Approach},
series = {Lecture Notes in Computer Science},
volume = {8998},
pages = {3--71},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16310-9\_1},
doi = {10.1007/978-3-319-16310-9\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/NicolaLLLMMMPTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015wirsing,
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {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},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6},
doi = {10.1007/978-3-319-15545-6},
isbn = {978-3-319-15544-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2015wirsing.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BernardoNL14,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
title = {Revisiting Trace and Testing Equivalences for Nondeterministic and
Probabilistic Processes},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {1},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(1:16)2014},
doi = {10.2168/LMCS-10(1:16)2014},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BernardoNL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Nicola14,
author = {Rocco De Nicola},
title = {Editor's Note},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {83},
year = {2014},
url = {https://doi.org/10.1016/j.jlamp.2014.04.003},
doi = {10.1016/J.JLAMP.2014.04.003},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Nicola14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/NicolaLPT14,
author = {Rocco De Nicola and
Michele Loreti and
Rosario Pugliese and
Francesco Tiezzi},
title = {A Formal Approach to Autonomic Systems Programming: The {SCEL} Language},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {9},
number = {2},
pages = {7:1--7:29},
year = {2014},
url = {https://doi.org/10.1145/2619998},
doi = {10.1145/2619998},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taas/NicolaLPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BernardoNL14,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
title = {Relating strong behavioral equivalences for processes with nondeterminism
and probabilities},
journal = {Theor. Comput. Sci.},
volume = {546},
pages = {63--92},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.03.001},
doi = {10.1016/J.TCS.2014.03.001},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BernardoNL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/CelestiniCNMMPT14,
author = {Alessandro Celestini and
Gianpiero Costantino and
Rocco De Nicola and
Zakaria Maamar and
Fabio Martinelli and
Marinella Petrocchi and
Francesco Tiezzi},
editor = {Leonard Barolli and
Kin Fun Li and
Tomoya Enokido and
Fatos Xhafa and
Makoto Takizawa},
title = {Reputation-Based Composition of Social Web Services},
booktitle = {28th {IEEE} International Conference on Advanced Information Networking
and Applications, {AINA} 2014, Victoria, BC, Canada, May 13-16, 2014},
pages = {735--742},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/AINA.2014.90},
doi = {10.1109/AINA.2014.90},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/CelestiniCNMMPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BelznerNVW14,
author = {Lenz Belzner and
Rocco De Nicola and
Andrea Vandin and
Martin Wirsing},
editor = {Shusaku Iida and
Jos{\'{e}} Meseguer and
Kazuhiro Ogata},
title = {Reasoning (on) Service Component Ensembles in Rewriting Logic},
booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
Futatsugi},
series = {Lecture Notes in Computer Science},
volume = {8373},
pages = {188--211},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54624-2\_10},
doi = {10.1007/978-3-642-54624-2\_10},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BelznerNVW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/NicolaLLMPST14,
author = {Rocco De Nicola and
Alberto Lluch{-}Lafuente and
Michele Loreti and
Andrea Morichetta and
Rosario Pugliese and
Valerio Senni and
Francesco Tiezzi},
editor = {Saddek Bensalem and
Yassine Lakhnech and
Axel Legay},
title = {Programming and Verifying Component Ensembles},
booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
April 6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8415},
pages = {69--83},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54848-2\_5},
doi = {10.1007/978-3-642-54848-2\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etaps/NicolaLLMPST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/Nicola14,
author = {Rocco De Nicola},
editor = {Ivan Lanese and
Eric Madelaine},
title = {A Formal Approach to Autonomic Systems Programming: The {SCEL} Language
- (Long Abstract)},
booktitle = {Formal Aspects of Component Software - 11th International Symposium,
{FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8997},
pages = {24--28},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15317-9\_2},
doi = {10.1007/978-3-319-15317-9\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/Nicola14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NicolaIT14,
author = {Rocco De Nicola and
Giulio Iacobelli and
Mirco Tribastone},
editor = {Erika {\'{A}}brah{\'{a}}m and
Catuscia Palamidessi},
title = {Dimming Relations for the Efficient Analysis of Concurrent Systems
via Action Abstraction},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held
as Part of the 9th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8461},
pages = {216--231},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43613-4\_14},
doi = {10.1007/978-3-662-43613-4\_14},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/NicolaIT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Nicola14,
author = {Rocco De Nicola},
editor = {Stefano Bistarelli and
Andrea Formisano},
title = {A formal approach to autonomic systems programming: the {SCEL} language},
booktitle = {Proceedings of the 15th Italian Conference on Theoretical Computer
Science, Perugia, Italy, September 17-19, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1231},
pages = {1},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1231/invited1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/Nicola14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WirsingNH14,
author = {Martin Wirsing and
Rocco De Nicola and
Matthias M. H{\"{o}}lzl},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Introduction to "Rigorous Engineering of Autonomic Ensembles"-
Track Introduction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {96--98},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_7},
doi = {10.1007/978-3-662-45234-9\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/WirsingNH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CabriCCNPTZ14,
author = {Giacomo Cabri and
Nicola Capodieci and
Luca Cesari and
Rocco De Nicola and
Rosario Pugliese and
Francesco Tiezzi and
Franco Zambonelli},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Self-expression and Dynamic Attribute-Based Ensembles in {SCEL}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {147--163},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_11},
doi = {10.1007/978-3-662-45234-9\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/CabriCCNPTZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/VigoCTNNN14,
author = {Roberto Vigo and
Alessandro Celestini and
Francesco Tiezzi and
Rocco De Nicola and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Matteo Maffei and
Emilio Tuosto},
title = {Trust-Based Enforcement of Security Policies},
booktitle = {Trustworthy Global Computing - 9th International Symposium, {TGC}
2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8902},
pages = {176--191},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45917-1\_12},
doi = {10.1007/978-3-662-45917-1\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/VigoCTNNN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucc/UriarteTN14,
author = {Rafael Brundo Uriarte and
Francesco Tiezzi and
Rocco De Nicola},
title = {{SLAC:} {A} Formal Service-Level-Agreement Language for Cloud Computing},
booktitle = {Proceedings of the 7th {IEEE/ACM} International Conference on Utility
and Cloud Computing, {UCC} 2014, London, United Kingdom, December
8-11, 2014},
pages = {419--426},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/UCC.2014.53},
doi = {10.1109/UCC.2014.53},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ucc/UriarteTN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/NicolaLLM13,
author = {Rocco De Nicola and
Diego Latella and
Michele Loreti and
Mieke Massink},
title = {A uniform definition of stochastic process calculi},
journal = {{ACM} Comput. Surv.},
volume = {46},
number = {1},
pages = {5:1--5:35},
year = {2013},
url = {https://doi.org/10.1145/2522968.2522973},
doi = {10.1145/2522968.2522973},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/NicolaLLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BernardoNL13,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
title = {A uniform framework for modeling nondeterministic, probabilistic,
stochastic, or mixed processes and their behavioral equivalences},
journal = {Inf. Comput.},
volume = {225},
pages = {29--82},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2013.02.004},
doi = {10.1016/J.IC.2013.02.004},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BernardoNL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/CesariNPPTZ13,
author = {Luca Cesari and
Rocco De Nicola and
Rosario Pugliese and
Mariachiara Puviani and
Francesco Tiezzi and
Franco Zambonelli},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Zhiming Liu and
Jinyun Xue},
title = {Formalising Adaptation Patterns for Autonomic Ensembles},
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 = {100--118},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-07602-7\_8},
doi = {10.1007/978-3-319-07602-7\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/CesariNPPTZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/CelestiniNT13,
author = {Alessandro Celestini and
Rocco De Nicola and
Francesco Tiezzi},
editor = {M. Carmen Fern{\'{a}}ndez Gago and
Fabio Martinelli and
Siani Pearson and
Isaac Agudo},
title = {Network-Aware Evaluation Environment for Reputation Systems},
booktitle = {Trust Management {VII} - 7th {IFIP} {WG} 11.11 International Conference,
{IFIPTM} 2013, Malaga, Spain, June 3-7, 2013. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {401},
pages = {231--238},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38323-6\_17},
doi = {10.1007/978-3-642-38323-6\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifiptm/CelestiniNT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CelestiniNT13,
author = {Alessandro Celestini and
Rocco De Nicola and
Francesco Tiezzi},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {Specifying and analysing reputation systems with a coordination language},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1363--1368},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480618},
doi = {10.1145/2480362.2480618},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/CelestiniNT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/BuresNGHKKMMPSWZ13,
author = {Tom{\'{a}}s Bures and
Rocco De Nicola and
Ilias Gerostathopoulos and
Nicklas Hoch and
Michal Kit and
Nora Koch and
Giacoma Valentina Monreale and
Ugo Montanari and
Rosario Pugliese and
Nikola B. Serbedzija and
Martin Wirsing and
Franco Zambonelli},
title = {A Life Cycle for the Development of Autonomic Systems: The E-mobility
Showcase},
booktitle = {7th {IEEE} International Conference on Self-Adaptation and Self-Organizing
Systems Workshops, SASOW, 2013, Philadelphia, PA, USA, September 9-13,
2013},
pages = {71--76},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SASOW.2013.23},
doi = {10.1109/SASOW.2013.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/BuresNGHKKMMPSWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BernardoNL13,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
editor = {Mart{\'{\i}}n Abadi and
Alberto Lluch{-}Lafuente},
title = {Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations},
booktitle = {Trustworthy Global Computing - 8th International Symposium, {TGC}
2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8358},
pages = {315--330},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05119-2\_18},
doi = {10.1007/978-3-319-05119-2\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BernardoNL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BernardoNL13,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
editor = {Luca Bortolussi and
Herbert Wiklicky},
title = {The Spectrum of Strong Behavioral Equivalences for Nondeterministic
and Probabilistic Processes},
booktitle = {Proceedings 11th International Workshop on Quantitative Aspects of
Programming Languages and Systems, {QAPL} 2013, Rome, Italy, March
23-24, 2013},
series = {{EPTCS}},
volume = {117},
pages = {81--96},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.117.6},
doi = {10.4204/EPTCS.117.6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BernardoNL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2013,
editor = {Rocco De Nicola and
Christine Julien},
title = {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},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6},
doi = {10.1007/978-3-642-38493-6},
isbn = {978-3-642-38492-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-0538,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
title = {A Companion of "Relating Strong Behavioral Equivalences for Processes
with Nondeterminism and Probabilities"},
journal = {CoRR},
volume = {abs/1305.0538},
year = {2013},
url = {http://arxiv.org/abs/1305.0538},
eprinttype = {arXiv},
eprint = {1305.0538},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-0538.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BernardoNL12,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
editor = {Lars Birkedal},
title = {Revisiting Trace and Testing Equivalences for Nondeterministic and
Probabilistic Processes},
booktitle = {Foundations of Software Science and Computational Structures - 15th
International Conference, {FOSSACS} 2012, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7213},
pages = {195--209},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28729-9\_13},
doi = {10.1007/978-3-642-28729-9\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BernardoNL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/NicolaFLP11,
author = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Michele Loreti and
Rosario Pugliese},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {A Language-Based Approach to Autonomic Computing},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {25--48},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_2},
doi = {10.1007/978-3-642-35887-6\_2},
timestamp = {Mon, 26 Jun 2023 20:47:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/NicolaFLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AcciaiBN11,
author = {Lucia Acciai and
Michele Boreale and
Rocco De Nicola},
editor = {Roberto Bruni and
J{\"{u}}rgen Dingel},
title = {Linear-Time and May-Testing in a Probabilistic Reactive Setting},
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 = {29--43},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21461-5\_2},
doi = {10.1007/978-3-642-21461-5\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AcciaiBN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/NicolaMT11,
author = {Rocco De Nicola and
Andrea Margheri and
Francesco Tiezzi},
editor = {Roberto Bruni and
Vladimiro Sassone},
title = {Orchestrating Tuple-Based Languages},
booktitle = {Trustworthy Global Computing - 6th International Symposium, {TGC}
2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7173},
pages = {160--178},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-30065-3\_10},
doi = {10.1007/978-3-642-30065-3\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/NicolaMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-1865,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
editor = {Luca Aceto and
Mohammad Reza Mousavi},
title = {Uniform Labeled Transition Systems for Nondeterministic, Probabilistic,
and Stochastic Process Calculi},
booktitle = {Proceedings First International Workshop on Process Algebra and Coordination,
{PACO} 2011, Reykjavik, Iceland, 9th June 2011},
series = {{EPTCS}},
volume = {60},
pages = {66--75},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.60.5},
doi = {10.4204/EPTCS.60.5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-1865.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/NicolaLLM11,
author = {Rocco De Nicola and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {SoSL: {A} Service-Oriented Stochastic Logic},
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 = {447--466},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_21},
doi = {10.1007/978-3-642-20401-2\_21},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/NicolaLLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/parallel/Nicola11,
author = {Rocco De Nicola},
editor = {David A. Padua},
title = {Behavioral Equivalences},
booktitle = {Encyclopedia of Parallel Computing},
pages = {120--127},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-387-09766-4\_517},
doi = {10.1007/978-0-387-09766-4\_517},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/parallel/Nicola11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/parallel/Nicola11a,
author = {Rocco De Nicola},
editor = {David A. Padua},
title = {Process Algebras},
booktitle = {Encyclopedia of Parallel Computing},
pages = {1624--1636},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-387-09766-4\_450},
doi = {10.1007/978-0-387-09766-4\_450},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/parallel/Nicola11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/NicolaGL10,
author = {Rocco De Nicola and
Daniele Gorla and
Anna Labella},
title = {Tree-functors, determinacy and bisimulations},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {3},
pages = {319--358},
year = {2010},
url = {https://doi.org/10.1017/S0960129509990272},
doi = {10.1017/S0960129509990272},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/NicolaGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NicolaGHNNPP10,
author = {Rocco De Nicola and
Daniele Gorla and
Ren{\'{e}} Rydhof Hansen and
Flemming Nielson and
Hanne Riis Nielson and
Christian W. Probst and
Rosario Pugliese},
title = {From Flow Logic to static type systems for coordination languages},
journal = {Sci. Comput. Program.},
volume = {75},
number = {6},
pages = {376--397},
year = {2010},
url = {https://doi.org/10.1016/j.scico.2009.07.009},
doi = {10.1016/J.SCICO.2009.07.009},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/NicolaGHNNPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BernardoNL10,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
editor = {Martin Wirsing and
Martin Hofmann and
Axel Rauschmayer},
title = {Uniform Labeled Transition Systems for Nondeterministic, Probabilistic,
and Stochastic Processes},
booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC}
2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6084},
pages = {35--56},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15640-3\_3},
doi = {10.1007/978-3-642-15640-3\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BernardoNL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/NicolaLLM09,
author = {Rocco De Nicola and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Mar{\'{\i}}a Alpuente and
Byron Cook and
Christophe Joubert},
title = {On a Uniform Framework for the Definition of Stochastic Process Languages},
booktitle = {Formal Methods for Industrial Critical Systems, 14th International
Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5825},
pages = {9--25},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04570-7\_2},
doi = {10.1007/978-3-642-04570-7\_2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/NicolaLLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/NicolaLLM09,
author = {Rocco De Nicola and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Susanne Albers and
Alberto Marchetti{-}Spaccamela and
Yossi Matias and
Sotiris E. Nikoletseas and
Wolfgang Thomas},
title = {Rate-Based Transition Systems for Stochastic Process Calculi},
booktitle = {Automata, Languages and Programming, 36th Internatilonal Colloquium,
{ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5556},
pages = {435--446},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02930-1\_36},
doi = {10.1007/978-3-642-02930-1\_36},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/NicolaLLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/NicolaL08,
author = {Rocco De Nicola and
Michele Loreti},
title = {Multiple-Labelled Transition Systems for nominal calculi and their
logics},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {1},
pages = {107--143},
year = {2008},
url = {https://doi.org/10.1017/S0960129507006585},
doi = {10.1017/S0960129507006585},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/NicolaL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CastagnaNV08,
author = {Giuseppe Castagna and
Rocco De Nicola and
Daniele Varacca},
title = {Semantic subtyping for the pi-calculus},
journal = {Theor. Comput. Sci.},
volume = {398},
number = {1-3},
pages = {217--242},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.01.049},
doi = {10.1016/J.TCS.2008.01.049},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CastagnaNV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/CalzolaiNLT08,
author = {Francesco Calzolai and
Rocco De Nicola and
Michele Loreti and
Francesco Tiezzi},
title = {TAPAs: {A} Tool for the Analysis of Process Algebras},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {1},
pages = {54--70},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89287-8\_4},
doi = {10.1007/978-3-540-89287-8\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/CalzolaiNLT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NicolaDM08,
author = {Rocco De Nicola and
Pierpaolo Degano and
Jos{\'{e}} Meseguer},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {Ugo Montanari in a Nutshell},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {1--8},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_1},
doi = {10.1007/978-3-540-68679-8\_1},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NicolaDM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BettiniNL08,
author = {Lorenzo Bettini and
Rocco De Nicola and
Michele Loreti},
editor = {Doug Lea and
Gianluigi Zavattaro},
title = {Implementing Session Centered Calculi},
booktitle = {Coordination Models and Languages, 10th International Conference,
{COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5052},
pages = {17--32},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68265-3\_2},
doi = {10.1007/978-3-540-68265-3\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BettiniNL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NicolaGHNNPP08,
author = {Rocco De Nicola and
Daniele Gorla and
Ren{\'{e}} Rydhof Hansen and
Flemming Nielson and
Hanne Riis Nielson and
Christian W. Probst and
Rosario Pugliese},
editor = {Doug Lea and
Gianluigi Zavattaro},
title = {From Flow Logic to Static Type Systems for Coordination Languages},
booktitle = {Coordination Models and Languages, 10th International Conference,
{COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5052},
pages = {100--116},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68265-3\_7},
doi = {10.1007/978-3-540-68265-3\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NicolaGHNNPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BorealeBNL08,
author = {Michele Boreale and
Roberto Bruni and
Rocco De Nicola and
Michele Loreti},
editor = {Gilles Barthe and
Frank S. de Boer},
title = {Sessions and Pipelines for Structured Service Programming},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
4-6, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5051},
pages = {19--38},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68863-1\_3},
doi = {10.1007/978-3-540-68863-1\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/BorealeBNL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BruniNLM08,
author = {Roberto Bruni and
Rocco De Nicola and
Michele Loreti and
Leonardo Gaetano Mezzina},
editor = {Christos Kaklamanis and
Flemming Nielson},
title = {Provably Correct Implementations of Services},
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 = {69--86},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00945-7\_5},
doi = {10.1007/978-3-642-00945-7\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BruniNLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NicolaLLM09,
author = {Rocco De Nicola and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Matthew Hennessy and
Bartek Klin},
title = {MarCaSPiS: a Markovian Extension of a Calculus for Services},
booktitle = {Proceedings of the Fifth Workshop on Structural Operational Semantics,
SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {4},
pages = {11--26},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.071},
doi = {10.1016/J.ENTCS.2009.07.071},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/NicolaLLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2008montanari,
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8},
doi = {10.1007/978-3-540-68679-8},
isbn = {978-3-540-68676-7},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2008montanari.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/NicolaGP07,
author = {Rocco De Nicola and
Daniele Gorla and
Rosario Pugliese},
title = {Basic observables for a calculus for global computing},
journal = {Inf. Comput.},
volume = {205},
number = {10},
pages = {1491--1525},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2007.03.004},
doi = {10.1016/J.IC.2007.03.004},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/NicolaGP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NicolaGP07,
author = {Rocco De Nicola and
Daniele Gorla and
Rosario Pugliese},
title = {Global computing in a dynamic network of tuple spaces},
journal = {Sci. Comput. Program.},
volume = {64},
number = {2},
pages = {187--204},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.06.004},
doi = {10.1016/J.SCICO.2006.06.004},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/NicolaGP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NicolaKLLM07,
author = {Rocco De Nicola and
Joost{-}Pieter Katoen and
Diego Latella and
Michele Loreti and
Mieke Massink},
title = {Model checking mobile stochastic logic},
journal = {Theor. Comput. Sci.},
volume = {382},
number = {1},
pages = {42--70},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.05.008},
doi = {10.1016/J.TCS.2007.05.008},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/NicolaKLLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Nicola07,
author = {Rocco De Nicola},
editor = {Giuseppe F. Italiano and
Eugenio Moggi and
Luigi Laura},
title = {Session Centered Calculi for Service Oriented Computing},
booktitle = {Theoretical Computer Science, 10th Italian Conference, {ICTCS} 2007,
Rome, Italy, October 3-5, 2007, Proceedings},
pages = {6--10},
publisher = {World Scientific},
year = {2007},
timestamp = {Wed, 11 Jun 2008 08:55:26 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Nicola07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/PalmeriNM07,
author = {Maria Carla Palmeri and
Rocco De Nicola and
Mieke Massink},
title = {Basic Observables for Probabilistic May Testing},
booktitle = {Fourth International Conference on the Quantitative Evaluaiton of
Systems {(QEST} 2007), 17-19 September 2007, Edinburgh, Scotland,
{UK}},
pages = {189--200},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/QEST.2007.19},
doi = {10.1109/QEST.2007.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/PalmeriNM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2007,
editor = {Rocco De Nicola},
title = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6},
doi = {10.1007/978-3-540-71316-6},
isbn = {978-3-540-71314-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NicolaGP06,
author = {Rocco De Nicola and
Daniele Gorla and
Rosario Pugliese},
title = {Confining data and processes in global computing applications},
journal = {Sci. Comput. Program.},
volume = {63},
number = {1},
pages = {57--87},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2005.07.013},
doi = {10.1016/J.SCICO.2005.07.013},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/NicolaGP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/BettiniNL06,
author = {Lorenzo Bettini and
Rocco De Nicola and
Michele Loreti},
title = {Implementing Mobile and Distributed Applications in X-Klaim},
journal = {Scalable Comput. Pract. Exp.},
volume = {7},
number = {4},
year = {2006},
url = {http://www.scpe.org/index.php/scpe/article/view/384},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scpe/BettiniNL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NicolaGP06,
author = {Rocco De Nicola and
Daniele Gorla and
Rosario Pugliese},
title = {On the expressive power of KLAIM-based calculi},
journal = {Theor. Comput. Sci.},
volume = {356},
number = {3},
pages = {387--421},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.02.007},
doi = {10.1016/J.TCS.2006.02.007},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/NicolaGP06.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/BettiniNFL07,
author = {Lorenzo Bettini and
Rocco De Nicola and
Daniele Falassi and
Michele Loreti},
editor = {Guido Boella and
Mehdi Dastani and
Andrea Omicini and
Leon van der Torre and
Ivana Cern{\'{a}} and
Isabelle Linden},
title = {Implementing a Distributed Mobile Calculus Using the {IMC} Framework},
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 = {63--79},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.054},
doi = {10.1016/J.ENTCS.2007.01.054},
timestamp = {Tue, 24 Jan 2023 13:37:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BettiniNFL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NicolaL07,
author = {Rocco De Nicola and
Michele Loreti},
editor = {Flavio Corradini and
Carlo Toffalori},
title = {Multi Labelled Transition Systems: {A} Semantic Framework for Nominal
Calculi},
booktitle = {Proceedings of the Workshop on Logic, Models and Computer Science,
{LMCS} 2006, Camerino, Italy, April 20-22, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {169},
pages = {133--146},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.019},
doi = {10.1016/J.ENTCS.2007.05.019},
timestamp = {Tue, 24 Jan 2023 11:23:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NicolaL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/NicolaS05,
author = {Rocco De Nicola and
Davide Sangiorgi},
title = {Types in concurrency},
journal = {Acta Informatica},
volume = {42},
number = {2-3},
pages = {79--81},
year = {2005},
url = {https://doi.org/10.1007/s00236-005-0174-2},
doi = {10.1007/S00236-005-0174-2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/NicolaS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NicolaFMPT05,
author = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Ugo Montanari and
Rosario Pugliese and
Emilio Tuosto},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {A Process Calculus for QoS-Aware Applications},
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 = {33--48},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_3},
doi = {10.1007/11417019\_3},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NicolaFMPT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NicolaGP05,
author = {Rocco De Nicola and
Daniele Gorla and
Rosario Pugliese},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Global Computing in a Dynamic Network of Tuple Spaces},
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 = {157--172},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_11},
doi = {10.1007/11417019\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NicolaGP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/BettiniNFLL05,
author = {Lorenzo Bettini and
Rocco De Nicola and
Daniele Falassi and
Marc Lacoste and
Michele Loreti},
editor = {Lea Kutvonen and
Nancy Alonistioti},
title = {A Flexible and Modular Framework for Implementing Infrastructures
for Global Computing},
booktitle = {Distributed Applications and Interoperable Systems, 5th {IFIP} {WG}
6.1 International Conference, {DAIS} 2005, Athens, Greece, June 15-17,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3543},
pages = {181--193},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11498094\_17},
doi = {10.1007/11498094\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dais/BettiniNFLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/NicolaGP05,
author = {Rocco De Nicola and
Daniele Gorla and
Rosario Pugliese},
editor = {Martin Steffen and
Gianluigi Zavattaro},
title = {Pattern Matching over a Dynamic Network of Tuple Spaces},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece,
June 15-17, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3535},
pages = {1--14},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494881\_1},
doi = {10.1007/11494881\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/NicolaGP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/NicolaGP05,
author = {Rocco De Nicola and
Daniele Gorla and
Rosario Pugliese},
editor = {Lu{\'{\i}}s Caires and
Giuseppe F. Italiano and
Lu{\'{\i}}s Monteiro and
Catuscia Palamidessi and
Moti Yung},
title = {Basic Observables for a Calculus for Global Computing},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium,
{ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3580},
pages = {1226--1238},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11523468\_99},
doi = {10.1007/11523468\_99},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/NicolaGP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Nicola05,
author = {Rocco De Nicola},
editor = {Dang Van Hung and
Martin Wirsing},
title = {Languages and Process Calculi for Network Aware Programming - Short
Summary -},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3722},
pages = {49--52},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560647\_3},
doi = {10.1007/11560647\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Nicola05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CastagnaNV05,
author = {Giuseppe Castagna and
Rocco De Nicola and
Daniele Varacca},
title = {Semantic Subtyping for the p-Calculus},
booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
26-29 June 2005, Chicago, IL, USA, Proceedings},
pages = {92--101},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/LICS.2005.46},
doi = {10.1109/LICS.2005.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CastagnaNV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/NicolaLM05,
author = {Rocco De Nicola and
Diego Latella and
Mieke Massink},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Formal modeling and quantitative analysis of KLAIM-based mobile systems},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {428--435},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066777},
doi = {10.1145/1066677.1066777},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/NicolaLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BettiniN05,
author = {Lorenzo Bettini and
Rocco De Nicola},
editor = {Marco Bernardo and
Alessandro Bogliolo},
title = {Mobile Distributed Programming in X-Klaim},
booktitle = {Formal Methods for Mobile Computing, 5th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3465},
pages = {29--68},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11419822\_2},
doi = {10.1007/11419822\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BettiniN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Nicola06,
author = {Rocco De Nicola},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {From Process Calculi to Klaim and Back},
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 = {159--162},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.110},
doi = {10.1016/J.ENTCS.2005.12.110},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Nicola06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NicolaKLM06,
author = {Rocco De Nicola and
Joost{-}Pieter Katoen and
Diego Latella and
Mieke Massink},
editor = {Antonio Cerone and
Herbert Wiklicky},
title = {Towards a Logic for Performance and Mobility},
booktitle = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {2},
pages = {161--175},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.037},
doi = {10.1016/J.ENTCS.2005.10.037},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/NicolaKLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2005,
editor = {Rocco De Nicola and
Davide Sangiorgi},
title = {Trustworthy Global Computing, International Symposium, {TGC} 2005,
Edinburgh, UK, April 7-9, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3705},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11580850},
doi = {10.1007/11580850},
isbn = {3-540-30007-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/BettiniNL04,
author = {Lorenzo Bettini and
Rocco De Nicola and
Michele Loreti},
title = {Formulae Meet Programs Over the Net: {A} Framework for Correct Network
Aware Programming},
journal = {Autom. Softw. Eng.},
volume = {11},
number = {3},
pages = {245--288},
year = {2004},
url = {https://doi.org/10.1023/B:AUSE.0000028536.34044.47},
doi = {10.1023/B:AUSE.0000028536.34044.47},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/BettiniNL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/NicolaL04,
author = {Rocco De Nicola and
Michele Loreti},
title = {A modal logic for mobile agents},
journal = {{ACM} Trans. Comput. Log.},
volume = {5},
number = {1},
pages = {79--128},
year = {2004},
url = {https://doi.org/10.1145/963927.963930},
doi = {10.1145/963927.963930},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/NicolaL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/NicolaL04,
author = {Rocco De Nicola and
Michele Loreti},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {MoMo: {A} Modal Logic for Reasoning About Mobility},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {95--119},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_5},
doi = {10.1007/11561163\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/NicolaL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/BettiniNFLLOPV04,
author = {Lorenzo Bettini and
Rocco De Nicola and
Daniele Falassi and
Marc Lacoste and
Lu{\'{\i}}s M. B. Lopes and
Lic{\'{\i}}nio Oliveira and
Herv{\'{e}} Paulino and
Vasco Thudichum Vasconcelos},
editor = {Corrado Priami and
Paola Quaglia},
title = {A Software Framework for Rapid Prototyping of Run-Time Systems for
Mobile Calculi},
booktitle = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
Italy, March 9-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3267},
pages = {179--207},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31794-4\_10},
doi = {10.1007/978-3-540-31794-4\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gc/BettiniNFLLOPV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NicolaGP05,
author = {Rocco De Nicola and
Daniele Gorla and
Rosario Pugliese},
editor = {Jos C. M. Baeten and
Flavio Corradini},
title = {On the Expressive Power of Klaim-based Calculi},
booktitle = {Proceedings of the 11th International Workshop on Expressiveness in
Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {2},
pages = {117--130},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.032},
doi = {10.1016/J.ENTCS.2004.11.032},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/NicolaGP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2004,
editor = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Greg Meredith},
title = {Coordination Models and Languages, 6th International Conference, {COORDINATION}
2004, Pisa, Italy, February 24-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2949},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b95570},
doi = {10.1007/B95570},
isbn = {3-540-21044-X},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NicolaL03,
author = {Rocco De Nicola and
Anna Labella},
title = {Nondeterministic regular expressions as solutions of equational systems},
journal = {Theor. Comput. Sci.},
volume = {302},
number = {1-3},
pages = {179--189},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00774-0},
doi = {10.1016/S0304-3975(02)00774-0},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/NicolaL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NicolaFMPT03,
author = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Ugo Montanari and
Rosario Pugliese and
Emilio Tuosto},
editor = {Nachum Dershowitz},
title = {A Formal Basis for Reasoning on Programmable QoS},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {436--479},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_21},
doi = {10.1007/978-3-540-39910-0\_21},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NicolaFMPT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/BettiniBNFGLMPTV03,
author = {Lorenzo Bettini and
Viviana Bono and
Rocco De Nicola and
Gian{-}Luigi Ferrari and
Daniele Gorla and
Michele Loreti and
Eugenio Moggi and
Rosario Pugliese and
Emilio Tuosto and
Betti Venneri},
editor = {Corrado Priami},
title = {The Klaim Project: Theory and Practice},
booktitle = {Global Computing. Programming Environments, Languages, Security, and
Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
Rovereto, Italy, February 9-14, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2874},
pages = {88--150},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40042-4\_4},
doi = {10.1007/978-3-540-40042-4\_4},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/global/BettiniBNFGLMPTV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BorealeNP02,
author = {Michele Boreale and
Rocco De Nicola and
Rosario Pugliese},
title = {Trace and Testing Equivalence on Asynchronous Processes},
journal = {Inf. Comput.},
volume = {172},
number = {2},
pages = {139--164},
year = {2002},
url = {https://doi.org/10.1006/inco.2001.3080},
doi = {10.1006/INCO.2001.3080},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BorealeNP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CorradiniNL02,
author = {Flavio Corradini and
Rocco De Nicola and
Anna Labella},
title = {An Equational Axiomatization of Bisimulation over Regular Expressions},
journal = {J. Log. Comput.},
volume = {12},
number = {2},
pages = {301--320},
year = {2002},
url = {https://doi.org/10.1093/logcom/12.2.301},
doi = {10.1093/LOGCOM/12.2.301},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CorradiniNL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BettiniNP02,
author = {Lorenzo Bettini and
Rocco De Nicola and
Rosario Pugliese},
title = {Klava: a Java package for distributed and mobile applications},
journal = {Softw. Pract. Exp.},
volume = {32},
number = {14},
pages = {1365--1394},
year = {2002},
url = {https://doi.org/10.1002/spe.486},
doi = {10.1002/SPE.486},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/BettiniNP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BettiniNL02,
author = {Lorenzo Bettini and
Rocco De Nicola and
Michele Loreti},
editor = {Farhad Arbab and
Carolyn L. Talcott},
title = {Formalizing Properties of Mobile Agent Systems},
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 = {72--87},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46000-4\_9},
doi = {10.1007/3-540-46000-4\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BettiniNL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fidji/BettiniN02,
author = {Lorenzo Bettini and
Rocco De Nicola},
editor = {Nicolas Guelfi and
Egidio Astesiano and
Gianna Reggio},
title = {A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces},
booktitle = {Scientific Engineering for Distributed Java Applications, International
Workshop, {FIDJI} 2002, Luxembourg-Kirchberg, Luxembourg, November
28-29, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2604},
pages = {175--184},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36520-6\_16},
doi = {10.1007/3-540-36520-6\_16},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fidji/BettiniN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BettiniNL02,
author = {Lorenzo Bettini and
Rocco De Nicola and
Michele Loreti},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {Software update via mobile agent based programming},
booktitle = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC),
March 10-14, 2002, Madrid, Spain},
pages = {32--36},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/508791.508800},
doi = {10.1145/508791.508800},
timestamp = {Tue, 06 Nov 2018 11:06:47 +0100},
biburl = {https://dblp.org/rec/conf/sac/BettiniNL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02,
author = {Lu{\'{\i}}s Andrade and
Paolo Baldan and
Hubert Baumeister and
Roberto Bruni and
Andrea Corradini and
Rocco De Nicola and
Jos{\'{e}} Luiz Fiadeiro and
Fabio Gadducci and
Stefania Gnesi and
Piotr Hoffman and
Nora Koch and
Piotr Kosiuczenko and
Alessandro Lapadula and
Diego Latella and
Ant{\'{o}}nia Lopes and
Michele Loreti and
Mieke Massink and
Franco Mazzanti and
Ugo Montanari and
Crist{\'{o}}v{\~{a}}o Oliveira and
Rosario Pugliese and
Andrzej Tarlecki and
Michel Wermelinger and
Martin Wirsing and
Artur Zawlocki},
editor = {Martin Wirsing and
Dirk Pattinson and
Rolf Hennicker},
title = {{AGILE:} Software Architecture for Mobility},
booktitle = {Recent Trends in Algebraic Development Techniques, 16th International
Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2755},
pages = {1--33},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40020-2\_1},
doi = {10.1007/978-3-540-40020-2\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BorealeNP01,
author = {Michele Boreale and
Rocco De Nicola and
Rosario Pugliese},
title = {Proof Techniques for Cryptographic Processes},
journal = {{SIAM} J. Comput.},
volume = {31},
number = {3},
pages = {947--986},
year = {2001},
url = {https://doi.org/10.1137/S0097539700377864},
doi = {10.1137/S0097539700377864},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BorealeNP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChenN01,
author = {Xiao Jun Chen and
Rocco De Nicola},
title = {Algebraic characterizations of trace and decorated trace equivalences
over tree-like structures},
journal = {Theor. Comput. Sci.},
volume = {254},
number = {1-2},
pages = {337--361},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(99)00300-X},
doi = {10.1016/S0304-3975(99)00300-X},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ChenN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BorealeNP01,
author = {Michele Boreale and
Rocco De Nicola and
Rosario Pugliese},
title = {Divergence in testing and readiness semantics},
journal = {Theor. Comput. Sci.},
volume = {266},
number = {1-2},
pages = {237--248},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00170-5},
doi = {10.1016/S0304-3975(00)00170-5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BorealeNP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ma/BettiniN01,
author = {Lorenzo Bettini and
Rocco De Nicola},
editor = {Gian Pietro Picco},
title = {Translating Strong Mobility into Weak Mobility},
booktitle = {Mobile Agents, 5th International Conference, {MA} 2001 Atlanta, GA,
USA, December 2-4, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2240},
pages = {182--197},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45647-3\_13},
doi = {10.1007/3-540-45647-3\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ma/BettiniN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BettiniNP01,
author = {Lorenzo Bettini and
Rocco De Nicola and
Rosario Pugliese},
editor = {Marina Lenisa and
Marino Miculan},
title = {XKlaim and Klava: Programming Mobile Code},
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 = {24--37},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00317-2},
doi = {10.1016/S1571-0661(04)00317-2},
timestamp = {Wed, 30 Nov 2022 12:15:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BettiniNP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NicolaP00,
author = {Rocco De Nicola and
Rosario Pugliese},
title = {Linda-based applicative and imperative process algebras},
journal = {Theor. Comput. Sci.},
volume = {238},
number = {1-2},
pages = {389--437},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00339-4},
doi = {10.1016/S0304-3975(99)00339-4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/NicolaP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NicolaFPV00,
author = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Rosario Pugliese and
Betti Venneri},
title = {Types for access control},
journal = {Theor. Comput. Sci.},
volume = {240},
number = {1},
pages = {215--254},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00232-7},
doi = {10.1016/S0304-3975(99)00232-7},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/NicolaFPV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/NicolaL00,
author = {Rocco De Nicola and
Michele Loreti},
editor = {Teodor Rus},
title = {A Modal Logic for {KLAIM}},
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 = {339--354},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_25},
doi = {10.1007/3-540-45499-3\_25},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/NicolaL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NicolaFP00,
author = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Rosario Pugliese},
editor = {Catuscia Palamidessi},
title = {Programming Access Control: The {KLAIM} Experience},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {48--65},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_5},
doi = {10.1007/3-540-44618-4\_5},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/NicolaFP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NicolaPR00,
author = {Rocco De Nicola and
Rosario Pugliese and
Antony I. T. Rowstron},
editor = {Ant{\'{o}}nio Porto and
Gruia{-}Catalin Roman},
title = {Proving the Correctness of Optimising Destructive and Non-destructive
Reads over Tuple Spaces},
booktitle = {Coordination Languages and Models, 4th International Conference, {COORDINATION}
2000, Limassol, Cyprus, September 11-13, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1906},
pages = {66--80},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45263-X\_5},
doi = {10.1007/3-540-45263-X\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NicolaPR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BorealeNP00,
author = {Michele Boreale and
Rocco De Nicola and
Rosario Pugliese},
editor = {Tommaso Bolognesi and
Diego Latella},
title = {Process Algebraic Analysis of Cryptographic Protocols},
booktitle = {Formal Techniques for Distributed System Development, {FORTE/PSTV}
2000, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal
Description Techniques for Distributed Systems and Communication Protocols
{(FORTE} {XIII)} and Protocol Specification, Testing and Verification
{(PSTV} XX), October 10-13, 2000, Pisa, Italy},
series = {{IFIP} Conference Proceedings},
volume = {183},
pages = {375--392},
publisher = {Kluwer},
year = {2000},
timestamp = {Tue, 19 Feb 2002 10:53:34 +0100},
biburl = {https://dblp.org/rec/conf/forte/BorealeNP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/BettiniNFP00,
author = {Lorenzo Bettini and
Rocco De Nicola and
Gian{-}Luigi Ferrari and
Rosario Pugliese},
editor = {Antonio Corradi and
Andrea Omicini and
Agostino Poggi},
title = {Mobile Applications in {X-KLAIM}},
booktitle = {{WOA} 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop
"From Objects to Agents": Evolutive Trends of Software Systems, 29-30
May 2000, Parma, Italy},
pages = {1--6},
publisher = {Pitagora Editrice Bologna},
year = {2000},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/woa/BettiniNFP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BorealeNP99,
author = {Michele Boreale and
Rocco De Nicola and
Rosario Pugliese},
title = {Basic Observables for Processes},
journal = {Inf. Comput.},
volume = {149},
number = {1},
pages = {77--98},
year = {1999},
url = {https://doi.org/10.1006/inco.1998.2755},
doi = {10.1006/INCO.1998.2755},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BorealeNP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/CorradiniNL99,
author = {Flavio Corradini and
Rocco De Nicola and
Anna Labella},
title = {A finite axiomatization of nondeterministic regular expressions},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {33},
number = {4/5},
pages = {447--466},
year = {1999},
url = {https://doi.org/10.1051/ita:1999127},
doi = {10.1051/ITA:1999127},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/CorradiniNL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CorradiniNL99,
author = {Flavio Corradini and
Rocco De Nicola and
Anna Labella},
title = {Models of Nondeterministic Regular Expressions},
journal = {J. Comput. Syst. Sci.},
volume = {59},
number = {3},
pages = {412--449},
year = {1999},
url = {https://doi.org/10.1006/jcss.1999.1636},
doi = {10.1006/JCSS.1999.1636},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/CorradiniNL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Nicola99,
author = {Rocco De Nicola},
editor = {Paolo Ciancarini and
Alexander L. Wolf},
title = {Coordination and Access Control of Mobile Agents},
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 = {1--2},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48919-3\_1},
doi = {10.1007/3-540-48919-3\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Nicola99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/NicolaFP99,
author = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Rosario Pugliese},
editor = {Jan Vitek and
Christian Damsgaard Jensen},
title = {Types as Specifications of Access Policies},
booktitle = {Secure Internet Programming, Security Issues for Mobile and Distributed
Objects},
series = {Lecture Notes in Computer Science},
volume = {1603},
pages = {118--146},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48749-2\_6},
doi = {10.1007/3-540-48749-2\_6},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/NicolaFP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BorealeNP99,
author = {Michele Boreale and
Rocco De Nicola and
Rosario Pugliese},
editor = {Wolfgang Thomas},
title = {A Theory of "May" Testing for Asynchronous Languages},
booktitle = {Foundations of Software Science and Computation Structure, Second
International Conference, FoSSaCS'99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1578},
pages = {165--179},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49019-1\_12},
doi = {10.1007/3-540-49019-1\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BorealeNP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CorradiniNL99,
author = {Flavio Corradini and
Rocco De Nicola and
Anna Labella},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Graded Modalities and Resource Bisimulation},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {381--393},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_31},
doi = {10.1007/3-540-46691-6\_31},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/CorradiniNL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BorealeNP99,
author = {Michele Boreale and
Rocco De Nicola and
Rosario Pugliese},
title = {Proof Techniques for Cryptographic Processes},
booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
Italy, July 2-5, 1999},
pages = {157--166},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/LICS.1999.782608},
doi = {10.1109/LICS.1999.782608},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BorealeNP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NicolaFP98,
author = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Rosario Pugliese},
title = {{KLAIM:} {A} Kernel Language for Agents Interaction and Mobility},
journal = {{IEEE} Trans. Software Eng.},
volume = {24},
number = {5},
pages = {315--330},
year = {1998},
url = {https://doi.org/10.1109/32.685256},
doi = {10.1109/32.685256},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/NicolaFP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/VeglioniN98,
author = {Simone Veglioni and
Rocco De Nicola},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {Possible Worlds for 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 = {179--193},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055623},
doi = {10.1007/BFB0055623},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/VeglioniN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BorealeNP98,
author = {Michele Boreale and
Rocco De Nicola and
Rosario Pugliese},
editor = {Maurice Nivat},
title = {Asynchronous Observations of Processes},
booktitle = {Foundations of Software Science and Computation Structure, First International
Conference, FoSSaCS'98, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal,
March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1378},
pages = {95--109},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053544},
doi = {10.1007/BFB0053544},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BorealeNP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/BettiniNPF98,
author = {Lorenzo Bettini and
Rocco De Nicola and
Rosario Pugliese and
Gian{-}Luigi Ferrari},
title = {Interactive Mobile Agents in X-Klaim},
booktitle = {7th Workshop on Enabling Technologies {(WETICE} '98), Infrastructure
for Collaborative Enterprises, June 17-19, 1998, Palo Alto, CAUSA,
Proceedings},
pages = {110--117},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ENABL.1998.725680},
doi = {10.1109/ENABL.1998.725680},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wetice/BettiniNPF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NicolaL98,
author = {Rocco De Nicola and
Anna Labella},
editor = {Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
title = {Tree Morphisms and Bisimulations},
booktitle = {Proceedings of the {MFCS} '98 Workshop on Concurrency, Brno, Czech
Republic, August 27-29, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {18},
pages = {46--64},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80249-X},
doi = {10.1016/S1571-0661(05)80249-X},
timestamp = {Fri, 11 Nov 2022 14:46:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NicolaL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CorradiniN97,
author = {Flavio Corradini and
Rocco De Nicola},
title = {Locality Based Semantics for Process Algebras},
journal = {Acta Informatica},
volume = {34},
number = {4},
pages = {291--324},
year = {1997},
url = {https://doi.org/10.1007/s002360050086},
doi = {10.1007/S002360050086},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CorradiniN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NicolaFP97,
author = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Rosario Pugliese},
editor = {David Garlan and
Daniel Le M{\'{e}}tayer},
title = {Coordinating Mobile Agents via Blackboards and Access Rights},
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 = {220--237},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63383-9\_83},
doi = {10.1007/3-540-63383-9\_83},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NicolaFP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BorealeNP97,
author = {Michele Boreale and
Rocco De Nicola and
Rosario Pugliese},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Basic Observables for Processes},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {482--492},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_204},
doi = {10.1007/3-540-63165-8\_204},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BorealeNP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/NicolaFP97,
author = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Rosario Pugliese},
editor = {Michel Bidoit and
Max Dauchet},
title = {Locality Based Linda: Programming with Explicit Localities},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {712--726},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030636},
doi = {10.1007/BFB0030636},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/NicolaFP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/NicolaS96,
author = {Rocco De Nicola and
Scott A. Smolka},
title = {Concurrency: Theory and Practice},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {52},
year = {1996},
url = {https://doi.org/10.1145/242224.242290},
doi = {10.1145/242224.242290},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/NicolaS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CorradiniN96,
author = {Flavio Corradini and
Rocco De Nicola},
title = {On Four Partial Ordering Semantics for a Process Calculus},
journal = {Fundam. Informaticae},
volume = {27},
number = {4},
pages = {349--383},
year = {1996},
url = {https://doi.org/10.3233/FI-1996-27402},
doi = {10.3233/FI-1996-27402},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CorradiniN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BorealeN96,
author = {Michele Boreale and
Rocco De Nicola},
title = {A Symbolic Semantics for the pi-Calculus},
journal = {Inf. Comput.},
volume = {126},
number = {1},
pages = {34--52},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0032},
doi = {10.1006/INCO.1996.0032},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BorealeN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NicolaP96,
author = {Rocco De Nicola and
Rosario Pugliese},
editor = {Paolo Ciancarini and
Chris Hankin},
title = {A Process Algebra Based on {LINDA}},
booktitle = {Coordination Languages and Models, First International Conference,
{COORDINATION} '96, Cesena, Italy, April 15-17, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1061},
pages = {160--178},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61052-9\_45},
doi = {10.1007/3-540-61052-9\_45},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NicolaP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChenN96,
author = {Xiao Jun Chen and
Rocco De Nicola},
editor = {Friedhelm Meyer auf der Heide and
Burkhard Monien},
title = {Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like
Structures},
booktitle = {Automata, Languages and Programming, 23rd International Colloquium,
ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1099},
pages = {63--74},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61440-0\_117},
doi = {10.1007/3-540-61440-0\_117},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ChenN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/NicolaP96,
author = {Rocco De Nicola and
Rosario Pugliese},
editor = {Mads Dam},
title = {Testing Semantics of Asynchronous Distributed Programs},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {320--344},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_15},
doi = {10.1007/3-540-62503-8\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/NicolaP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BorealeN95,
author = {Michele Boreale and
Rocco De Nicola},
title = {Testing Equivalence for Mobile Processes},
journal = {Inf. Comput.},
volume = {120},
number = {2},
pages = {279--303},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1114},
doi = {10.1006/INCO.1995.1114},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BorealeN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/NicolaV95,
author = {Rocco De Nicola and
Frits W. Vaandrager},
title = {Three Logics for Branching Bisimulation},
journal = {J. {ACM}},
volume = {42},
number = {2},
pages = {458--487},
year = {1995},
url = {https://doi.org/10.1145/201019.201032},
doi = {10.1145/201019.201032},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/NicolaV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NicolaS95,
author = {Rocco De Nicola and
Roberto Segala},
title = {A Process Algebraic View of Input/Output Automata},
journal = {Theor. Comput. Sci.},
volume = {138},
number = {2},
pages = {391--423},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(95)92307-J},
doi = {10.1016/0304-3975(95)92307-J},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NicolaS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/NicolaFGLR95,
author = {Rocco De Nicola and
Alessandro Fantechi and
Stefania Gnesi and
Salvatore Larosa and
Gioia Ristori},
editor = {Paolo Camurati and
Hans Eveking},
title = {Verifying hardware components within {JACK}},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {246--260},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_15},
doi = {10.1007/3-540-60385-9\_15},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/NicolaFGLR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CorradiniNL95,
author = {Flavio Corradini and
Rocco De Nicola and
Anna Labella},
editor = {Insup Lee and
Scott A. Smolka},
title = {Fully Abstract Models for Nondeterministic Regular Expressions},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {130--144},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_10},
doi = {10.1007/3-540-60218-6\_10},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/concur/CorradiniNL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/strict/NicolaP95,
author = {Rocco De Nicola and
Rosario Pugliese},
editor = {J{\"{o}}rg Desel},
title = {An Observational Semantics for Linda},
booktitle = {Proceedings of the International Workshop on Structures in Concurrency
Theory, {STRICT} 1995, Berlin, Germany, May 11-13, 1995},
series = {Workshops in Computing},
pages = {129--143},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3078-9\_9},
doi = {10.1007/978-1-4471-3078-9\_9},
timestamp = {Tue, 25 Jun 2019 18:06:54 +0200},
biburl = {https://dblp.org/rec/conf/strict/NicolaP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BorealeN94,
author = {Michele Boreale and
Rocco De Nicola},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {A Symbolic Semantics for the pi-calculus (Extended Abstract)},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {299--314},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_24},
doi = {10.1007/978-3-540-48654-1\_24},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/BorealeN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CorradiniN94,
author = {Flavio Corradini and
Rocco De Nicola},
editor = {Serge Abiteboul and
Eli Shamir},
title = {Distribution and Locality of Concurrent Systems},
booktitle = {Automata, Languages and Programming, 21st International Colloquium,
ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {820},
pages = {154--165},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58201-0\_65},
doi = {10.1007/3-540-58201-0\_65},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CorradiniN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/NicolaL94,
author = {Rocco De Nicola and
Anna Labella},
editor = {Igor Pr{\'{\i}}vara and
Branislav Rovan and
Peter Ruzicka},
title = {A Completeness Theorem fro Nondeterministic Kleene Algebras},
booktitle = {Mathematical Foundations of Computer Science 1994, 19th International
Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {841},
pages = {536--545},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58338-6\_100},
doi = {10.1007/3-540-58338-6\_100},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/NicolaL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/NicolaFGR93,
author = {Rocco De Nicola and
Alessandro Fantechi and
Stefania Gnesi and
Gioia Ristori},
title = {An Action-Based Framework for Verifying Logical and Behavioural Properties
of Concurrent Systems},
journal = {Comput. Networks {ISDN} Syst.},
volume = {25},
number = {7},
pages = {761--778},
year = {1993},
url = {https://doi.org/10.1016/0169-7552(93)90047-8},
doi = {10.1016/0169-7552(93)90047-8},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/NicolaFGR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DeganoNM93,
author = {Pierpaolo Degano and
Rocco De Nicola and
Ugo Montanari},
title = {Universal Axioms for Bisimulations},
journal = {Theor. Comput. Sci.},
volume = {114},
number = {1},
pages = {63--91},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90153-K},
doi = {10.1016/0304-3975(93)90153-K},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DeganoNM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BorealeN92,
author = {Michele Boreale and
Rocco De Nicola},
editor = {Rance Cleaveland},
title = {Testing Equivalence for Mobile Processes (Extended Abstract)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {2--16},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084779},
doi = {10.1007/BFB0084779},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BorealeN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/napaw/DeganoNM92,
author = {Pierpaolo Degano and
Rocco De Nicola and
Ugo Montanari},
editor = {S. Purushothaman and
Amy E. Zwarico},
title = {Observation Trees},
booktitle = {{NAPAW} 92, Proceedings of the First North American Process Algebra
Workshop, Stony Brook, New York, USA, 28 Agust 1992},
series = {Workshops in Computing},
pages = {103--118},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3217-2\_7},
doi = {10.1007/978-1-4471-3217-2\_7},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/napaw/DeganoNM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NicolaFGR91,
author = {Rocco De Nicola and
Alessandro Fantechi and
Stefania Gnesi and
Gioia Ristori},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {An Action Based Framework for Verifying Logical and Behavioural Properties
of Concurrent Systems},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {37--47},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_5},
doi = {10.1007/3-540-55179-4\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/NicolaFGR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Nicola91,
author = {Rocco De Nicola},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Action and State-based Logics for Process Algebras},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {20--22},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_77},
doi = {10.1007/3-540-54430-5\_77},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/Nicola91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/NicolaIN91,
author = {Rocco De Nicola and
Paola Inverardi and
Monica Nesi},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Equational reasoning about {LOTOS} specifications: a rewriting approach},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {148--155},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952808},
doi = {10.5555/952786.952808},
timestamp = {Fri, 13 May 2022 15:04:49 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/NicolaIN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DeganoNM90,
author = {Pierpaolo Degano and
Rocco De Nicola and
Ugo Montanari},
title = {A Partial Ordering Semantics for {CCS}},
journal = {Theor. Comput. Sci.},
volume = {75},
number = {3},
pages = {223--262},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90095-Y},
doi = {10.1016/0304-3975(90)90095-Y},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DeganoNM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NicolaMV90,
author = {Rocco De Nicola and
Ugo Montanari and
Frits W. Vaandrager},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {Back and Forth Bisimulations},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {152--165},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039058},
doi = {10.1007/BFB0039058},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/NicolaMV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/NicolaF90,
author = {Rocco De Nicola and
Gian{-}Luigi Ferrari},
editor = {Kesav V. Nori and
C. E. Veni Madhavan},
title = {Observational Logics and Concurrency Models},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {472},
pages = {301--315},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53487-3\_53},
doi = {10.1007/3-540-53487-3\_53},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/NicolaF90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/NicolaV90a,
author = {Rocco De Nicola and
Frits W. Vaandrager},
title = {Three Logics for Branching Bisimulation (Extended Abstract)},
booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
{(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
pages = {118--129},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113739},
doi = {10.1109/LICS.1990.113739},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/NicolaV90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/NicolaV90,
author = {Rocco De Nicola and
Frits W. Vaandrager},
editor = {Ir{\`{e}}ne Guessarian},
title = {Action versus State based Logics for Transition Systems},
booktitle = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
on Theoretical Computer Science, La Roche Posay, France, April 23-27,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {469},
pages = {407--419},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53479-2\_17},
doi = {10.1007/3-540-53479-2\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/litp/NicolaV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/NicolaIN89,
author = {Rocco De Nicola and
Paola Inverardi and
Monica Nesi},
editor = {Joseph Sifakis},
title = {Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating
{CCS} Specifications},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {54--67},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_5},
doi = {10.1007/3-540-52148-8\_5},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/avmfss/NicolaIN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/DeganoNM88,
author = {Pierpaolo Degano and
Rocco De Nicola and
Ugo Montanari},
title = {A Distributed Operational Semantics for {CCS} Based on Condition/Event
Systems},
journal = {Acta Informatica},
volume = {26},
number = {1/2},
pages = {59--91},
year = {1988},
url = {https://doi.org/10.1007/BF02915446},
doi = {10.1007/BF02915446},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/DeganoNM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DeganoNM88,
author = {Pierpaolo Degano and
Rocco De Nicola and
Ugo Montanari},
title = {On the Consistency of "Truly Concurrent" Operational and
Denotational Semantics (Extended Abstract)},
booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
{(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
pages = {133--141},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/LICS.1988.5112},
doi = {10.1109/LICS.1988.5112},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DeganoNM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/DeganoNM88,
author = {Pierpaolo Degano and
Rocco De Nicola and
Ugo Montanari},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Partial orderings descriptions and observations of nondeterministic
concurrent processes},
booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models
for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands,
May 30 - June 3, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {354},
pages = {438--466},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0013030},
doi = {10.1007/BFB0013030},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/DeganoNM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Nicola87,
author = {Rocco De Nicola},
title = {Extensional Equivalences for Transition Systems},
journal = {Acta Informatica},
volume = {24},
number = {2},
pages = {211--237},
year = {1987},
url = {https://doi.org/10.1007/BF00264365},
doi = {10.1007/BF00264365},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Nicola87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/DeganoNM87,
author = {Pierpaolo Degano and
Rocco De Nicola and
Ugo Montanari},
editor = {Martin Wirsing},
title = {Observational equivalences for concurrency models},
booktitle = {Formal Description of Programming Concepts - {III:} Proceedings of
the {IFIP} {TC} 2/WG 2.2 Working Conference on Formal Description
of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986},
pages = {105--134},
publisher = {North-Holland},
year = {1987},
timestamp = {Thu, 10 Jan 2019 14:37:08 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/DeganoNM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/NicolaH87,
author = {Rocco De Nicola and
Matthew Hennessy},
editor = {Hartmut Ehrig and
Robert A. Kowalski and
Giorgio Levi and
Ugo Montanari},
title = {{CCS} without tau's},
booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
Volume 1: Advanced Seminar on Foundations of Innovative Software Development
{I} and Colloquium on Trees in Algebra and Programming (CAAP'87)},
series = {Lecture Notes in Computer Science},
volume = {249},
pages = {138--152},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17660-8\_53},
doi = {10.1007/3-540-17660-8\_53},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/NicolaH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/DeNicola86,
author = {Rocco De Nicola},
title = {Testing equivalences and fully abstract models for communicating systems},
school = {University of Edinburgh, {UK}},
year = {1986},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.649251},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/DeNicola86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/AcetoNF86,
author = {Luca Aceto and
Rocco De Nicola and
Alessandro Fantechi},
editor = {Marisa Venturini Zilli},
title = {Testing Equivalences for Event Structures},
booktitle = {Mathematical Models for the Semantics of Parallelism, Advanced School,
Rome, Italy, September 24 - October 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {280},
pages = {1--20},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18419-8\_9},
doi = {10.1007/3-540-18419-8\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/AcetoNF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/DeganoNM86,
author = {Pierpaolo Degano and
Rocco De Nicola and
Ugo Montanari},
editor = {Marisa Venturini Zilli},
title = {{CCS} is an (Augmented) Contact Free {C/E} System},
booktitle = {Mathematical Models for the Semantics of Parallelism, Advanced School,
Rome, Italy, September 24 - October 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {280},
pages = {144--165},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18419-8\_13},
doi = {10.1007/3-540-18419-8\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/DeganoNM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Nicola86,
author = {Rocco De Nicola},
editor = {Hans{-}J{\"{u}}rgen Kugler},
title = {Net Theory and Application - Response},
booktitle = {Information Processing 86, Proceedings of the {IFIP} 10th World Computer
Congress, Dublin, Ireland, September 1-5, 1986},
pages = {833--836},
publisher = {North-Holland/IFIP},
year = {1986},
timestamp = {Sun, 28 Jul 2019 12:54:16 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Nicola86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Nicola85,
author = {Rocco De Nicola},
title = {Two Complete Axiom Systems for a Theory of Communicating Sequential
Processes},
journal = {Inf. Control.},
volume = {64},
number = {1-3},
pages = {136--172},
year = {1985},
url = {https://doi.org/10.1016/S0019-9958(85)80048-6},
doi = {10.1016/S0019-9958(85)80048-6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Nicola85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/DeganoNM85,
author = {Pierpaolo Degano and
Rocco De Nicola and
Ugo Montanari},
editor = {Lothar Budach},
title = {Partial ordering derivations for {CCS}},
booktitle = {Fundamentals of Computation Theory, {FCT} '85, Cottbus, GDR, September
9-13, 1985},
series = {Lecture Notes in Computer Science},
volume = {199},
pages = {520--533},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0028836},
doi = {10.1007/BFB0028836},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/DeganoNM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NicolaH84,
author = {Rocco De Nicola and
Matthew Hennessy},
title = {Testing Equivalences for Processes},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {83--133},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90113-0},
doi = {10.1016/0304-3975(84)90113-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NicolaH84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Nicola84,
author = {Rocco De Nicola},
editor = {Michal Chytil and
V{\'{a}}clav Koubek},
title = {Models and Operators for Nondeterministic Processes},
booktitle = {Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia,
September 3-7, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {176},
pages = {433--442},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/BFb0030326},
doi = {10.1007/BFB0030326},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Nicola84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Nicola83,
author = {Rocco De Nicola},
editor = {Marek Karpinski},
title = {A Complete Set of Axioms for a Theory of Communicating Sequential
Processes},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1983 International
FCT-Conference, Borgholm, Sweden, August 21-27, 1983},
series = {Lecture Notes in Computer Science},
volume = {158},
pages = {115--126},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12689-9\_98},
doi = {10.1007/3-540-12689-9\_98},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/Nicola83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/NicolaH83,
author = {Rocco De Nicola and
Matthew Hennessy},
editor = {Josep D{\'{\i}}az},
title = {Testing Equivalence for Processes},
booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
July 18-22, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {154},
pages = {548--560},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/BFb0036936},
doi = {10.1007/BFB0036936},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/NicolaH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/MatelliM81,
author = {Rocco De Nicola and
Alberto Martelli and
Ugo Montanari},
title = {Communication Through Message Passing or Shared Memory: {A} Formal
Comparison},
booktitle = {Proceedings of the 2nd International Conference on Distributed Computing
Systems, Paris, France, 1981},
pages = {513--522},
publisher = {{IEEE} Computer Society},
year = {1981},
timestamp = {Wed, 20 Jul 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcs/MatelliM81.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-04-16 20:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
