Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marco Peressotti
@article{DBLP:journals/toplas/GiallorenzoMP24,
author = {Saverio Giallorenzo and
Fabrizio Montesi and
Marco Peressotti},
title = {Choral: Object-oriented Choreographic Programming},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {46},
number = {1},
pages = {1:1--1:59},
year = {2024},
url = {https://doi.org/10.1145/3632398},
doi = {10.1145/3632398},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/GiallorenzoMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-17403,
author = {Dan Plyukhin and
Marco Peressotti and
Fabrizio Montesi},
title = {Ozone: Fully Out-of-Order Choreographies},
journal = {CoRR},
volume = {abs/2401.17403},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.17403},
doi = {10.48550/ARXIV.2401.17403},
eprinttype = {arXiv},
eprint = {2401.17403},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-17403.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-18508,
author = {Matteo Acclavio and
Fabrizio Montesi and
Marco Peressotti},
title = {On Propositional Dynamic Logic and Concurrency},
journal = {CoRR},
volume = {abs/2403.18508},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.18508},
doi = {10.48550/ARXIV.2403.18508},
eprinttype = {arXiv},
eprint = {2403.18508},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-18508.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CruzFilipeMP23,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Fabrizio Montesi and
Marco Peressotti},
title = {A Formal Theory of Choreographic Programming},
journal = {J. Autom. Reason.},
volume = {67},
number = {2},
pages = {21},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09665-3},
doi = {10.1007/S10817-023-09665-3},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/CruzFilipeMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GiallorenzoMPR23,
author = {Saverio Giallorenzo and
Fabrizio Montesi and
Marco Peressotti and
Florian Rademacher},
title = {LEMMA2Jolie: {A} tool to generate microservice APIs from domain models},
journal = {Sci. Comput. Program.},
volume = {228},
pages = {102956},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102956},
doi = {10.1016/J.SCICO.2023.102956},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/GiallorenzoMPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Cruz-FilipeGMP23,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Eva Graversen and
Fabrizio Montesi and
Marco Peressotti},
editor = {Sung{-}Shik Jongmans and
Ant{\'{o}}nia Lopes},
title = {Reasoning About Choreographic Programs},
booktitle = {Coordination Models and Languages - 25th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2023, Held as Part of the 18th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2023, Lisbon, Portugal, June 19-23, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13908},
pages = {144--162},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35361-1\_8},
doi = {10.1007/978-3-031-35361-1\_8},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Cruz-FilipeGMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/GiallorenzoMPRU23,
author = {Saverio Giallorenzo and
Fabrizio Montesi and
Marco Peressotti and
Florian Rademacher and
Narongrit Unwerawattana},
editor = {Sung{-}Shik Jongmans and
Ant{\'{o}}nia Lopes},
title = {JoT: {A} Jolie Framework for Testing Microservices},
booktitle = {Coordination Models and Languages - 25th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2023, Held as Part of the 18th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2023, Lisbon, Portugal, June 19-23, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13908},
pages = {172--191},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35361-1\_10},
doi = {10.1007/978-3-031-35361-1\_10},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/GiallorenzoMPRU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Cruz-FilipeGLMP23,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Eva Graversen and
Lovro Lugovic and
Fabrizio Montesi and
Marco Peressotti},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Modular Compilation for Higher-Order Functional Choreographies},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {7:1--7:37},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.7},
doi = {10.4230/LIPICS.ECOOP.2023.7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Cruz-FilipeGLMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-14539,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Eva Graversen and
Fabrizio Montesi and
Marco Peressotti},
title = {Reasoning about Choreographic Programs},
journal = {CoRR},
volume = {abs/2304.14539},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.14539},
doi = {10.48550/ARXIV.2304.14539},
eprinttype = {arXiv},
eprint = {2304.14539},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-14539.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ChiapperiniMP22,
author = {Alessio Chiapperini and
Marino Miculan and
Marco Peressotti},
title = {Computing (optimal) embeddings of directed bigraphs},
journal = {Sci. Comput. Program.},
volume = {221},
pages = {102842},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2022.102842},
doi = {10.1016/J.SCICO.2022.102842},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/ChiapperiniMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/GiallorenzoMPR22,
author = {Saverio Giallorenzo and
Fabrizio Montesi and
Marco Peressotti and
Florian Rademacher},
editor = {Maurice H. ter Beek and
Marjan Sirjani},
title = {Model-Driven Generation of Microservice Interfaces: From {LEMMA} Domain
Models to Jolie APIs},
booktitle = {Coordination Models and Languages - 24th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2022, Held as Part of the 17th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2022, Lucca, Italy, June 13-17, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13271},
pages = {223--240},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08143-9\_13},
doi = {10.1007/978-3-031-08143-9\_13},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/GiallorenzoMPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Cruz-FilipeGLMP22,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Eva Graversen and
Lovro Lugovic and
Fabrizio Montesi and
Marco Peressotti},
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {Functional Choreographic Programming},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
pages = {212--237},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6\_15},
doi = {10.1007/978-3-031-17715-6\_15},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/Cruz-FilipeGLMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/microservices/Cruz-FilipeMMP22,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Anne Madsen and
Fabrizio Montesi and
Marco Peressotti},
editor = {Gokila Dorai and
Maurizio Gabbrielli and
Giulio Manzonetto and
Aomar Osmani and
Marco Prandini and
Gianluigi Zavattaro and
Olaf Zimmermann},
title = {Modular Choreographies: Bridging Alice and Bob Notation to Java},
booktitle = {Joint Post-proceedings of the Third and Fourth International Conference
on Microservices, Microservices 2020/2022, May 10-12, 2022, Paris,
France},
series = {OASIcs},
volume = {111},
pages = {3:1--3:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/OASIcs.Microservices.2020-2022.3},
doi = {10.4230/OASICS.MICROSERVICES.2020-2022.3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/microservices/Cruz-FilipeMMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/microservices/GiallorenzoMPR22,
author = {Saverio Giallorenzo and
Fabrizio Montesi and
Marco Peressotti and
Florian Rademacher},
editor = {Gokila Dorai and
Maurizio Gabbrielli and
Giulio Manzonetto and
Aomar Osmani and
Marco Prandini and
Gianluigi Zavattaro and
Olaf Zimmermann},
title = {Model-Driven Code Generation for Microservices: Service Models},
booktitle = {Joint Post-proceedings of the Third and Fourth International Conference
on Microservices, Microservices 2020/2022, May 10-12, 2022, Paris,
France},
series = {OASIcs},
volume = {111},
pages = {6:1--6:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/OASIcs.Microservices.2020-2022.6},
doi = {10.4230/OASICS.MICROSERVICES.2020-2022.6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/microservices/GiallorenzoMPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-11397,
author = {Saverio Giallorenzo and
Fabrizio Montesi and
Marco Peressotti and
Florian Rademacher},
title = {Model-Driven Generation of Microservice Interfaces: From {LEMMA} Domain
Models to Jolie APIs},
journal = {CoRR},
volume = {abs/2202.11397},
year = {2022},
url = {https://arxiv.org/abs/2202.11397},
eprinttype = {arXiv},
eprint = {2202.11397},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-11397.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-01886,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Fabrizio Montesi and
Marco Peressotti},
title = {A Formal Theory of Choreographic Programming},
journal = {CoRR},
volume = {abs/2209.01886},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.01886},
doi = {10.48550/ARXIV.2209.01886},
eprinttype = {arXiv},
eprint = {2209.01886},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-01886.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/MontesiPP21,
author = {Fabrizio Montesi and
Marco Peressotti and
Valentino Picotti},
editor = {Barbara Carminati and
Carl K. Chang and
Ernesto Daminai and
Shuigung Deng and
Wei Tan and
Zhongjie Wang and
Robert Ward and
Jia Zhang},
title = {Sliceable Monolith: Monolith First, Microservices Later},
booktitle = {{IEEE} International Conference on Services Computing, {SCC} 2021,
Chicago, IL, USA, September 5-10, 2021},
pages = {364--366},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SCC53864.2021.00050},
doi = {10.1109/SCC53864.2021.00050},
timestamp = {Fri, 23 Jun 2023 11:36:46 +0200},
biburl = {https://dblp.org/rec/conf/IEEEscc/MontesiPP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/GiallorenzoMPRS21,
author = {Saverio Giallorenzo and
Fabrizio Montesi and
Marco Peressotti and
Florian Rademacher and
Sabine Sachweh},
editor = {Ferruccio Damiani and
Ornela Dardha},
title = {Jolie and {LEMMA:} Model-Driven Engineering and Programming Languages
Meet on Microservices},
booktitle = {Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2021, Held as Part of the 16th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2021, Valletta, Malta, June 14-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12717},
pages = {276--284},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78142-2\_17},
doi = {10.1007/978-3-030-78142-2\_17},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/GiallorenzoMPRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GiallorenzoMPRS21,
author = {Saverio Giallorenzo and
Fabrizio Montesi and
Marco Peressotti and
David Richter and
Guido Salvaneschi and
Pascal Weisenburger},
editor = {Anders M{\o}ller and
Manu Sridharan},
title = {Multiparty Languages: The Choreographic and Multitier Cases (Pearl)},
booktitle = {35th European Conference on Object-Oriented Programming, {ECOOP} 2021,
July 11-17, 2021, Aarhus, Denmark (Virtual Conference)},
series = {LIPIcs},
volume = {194},
pages = {22:1--22:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2021.22},
doi = {10.4230/LIPICS.ECOOP.2021.22},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/GiallorenzoMPRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Cruz-FilipeMP21,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Fabrizio Montesi and
Marco Peressotti},
editor = {Antonio Cerone and
Peter Csaba {\"{O}}lveczky},
title = {Certifying Choreography Compilation},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2021 - 18th International
Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12819},
pages = {115--133},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85315-0\_8},
doi = {10.1007/978-3-030-85315-0\_8},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Cruz-FilipeMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Cruz-FilipeMP21,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Fabrizio Montesi and
Marco Peressotti},
editor = {Liron Cohen and
Cezary Kaliszyk},
title = {Formalising a Turing-Complete Choreographic Language in Coq},
booktitle = {12th International Conference on Interactive Theorem Proving, {ITP}
2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},
series = {LIPIcs},
volume = {193},
pages = {15:1--15:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ITP.2021.15},
doi = {10.4230/LIPICS.ITP.2021.15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/Cruz-FilipeMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-02627,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Fabrizio Montesi and
Marco Peressotti},
title = {Formalising a Turing-Complete Choreographic Language in Coq},
journal = {CoRR},
volume = {abs/2102.02627},
year = {2021},
url = {https://arxiv.org/abs/2102.02627},
eprinttype = {arXiv},
eprint = {2102.02627},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-02627.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-10698,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Fabrizio Montesi and
Marco Peressotti},
title = {Certifying Choreography Compilation},
journal = {CoRR},
volume = {abs/2102.10698},
year = {2021},
url = {https://arxiv.org/abs/2102.10698},
eprinttype = {arXiv},
eprint = {2102.10698},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-10698.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-09518,
author = {Fabrizio Montesi and
Marco Peressotti and
Valentino Picotti},
title = {Sliceable Monolith: Monolith First, Microservices Later},
journal = {CoRR},
volume = {abs/2103.09518},
year = {2021},
url = {https://arxiv.org/abs/2103.09518},
eprinttype = {arXiv},
eprint = {2103.09518},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-09518.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-02458,
author = {Saverio Giallorenzo and
Fabrizio Montesi and
Marco Peressotti and
Florian Rademacher and
Sabine Sachweh},
title = {Jolie {\&} {LEMMA:} Model-Driven Engineering and Programming Languages
Meet on Microservices},
journal = {CoRR},
volume = {abs/2104.02458},
year = {2021},
url = {https://arxiv.org/abs/2104.02458},
eprinttype = {arXiv},
eprint = {2104.02458},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-02458.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-11818,
author = {Fabrizio Montesi and
Marco Peressotti},
title = {Linear Logic, the {\(\pi\)}-calculus, and their Metatheory: {A} Recipe
for Proofs as Processes},
journal = {CoRR},
volume = {abs/2106.11818},
year = {2021},
url = {https://arxiv.org/abs/2106.11818},
eprinttype = {arXiv},
eprint = {2106.11818},
timestamp = {Wed, 30 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-11818.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-03701,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Eva Graversen and
Lovro Lugovic and
Fabrizio Montesi and
Marco Peressotti},
title = {Choreographies as Functions},
journal = {CoRR},
volume = {abs/2111.03701},
year = {2021},
url = {https://arxiv.org/abs/2111.03701},
eprinttype = {arXiv},
eprint = {2111.03701},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-03701.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/ChiapperiniMP20,
author = {Alessio Chiapperini and
Marino Miculan and
Marco Peressotti},
editor = {Fabio Gadducci and
Timo Kehrer},
title = {Computing Embeddings of Directed Bigraphs},
booktitle = {Graph Transformation - 13th International Conference, {ICGT} 2020,
Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12150},
pages = {38--56},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51372-6\_3},
doi = {10.1007/978-3-030-51372-6\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/ChiapperiniMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MiculanP20,
author = {Marino Miculan and
Marco Peressotti},
editor = {Gennaro Cordasco and
Luisa Gargano and
Adele A. Rescigno},
title = {Software Transactional Memory with Interactions},
booktitle = {Proceedings of the 21st Italian Conference on Theoretical Computer
Science, Ischia, Italy, September 14-16, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2756},
pages = {67--80},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2756/paper\_7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MiculanP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BurcoMP20,
author = {Fabio Burco and
Marino Miculan and
Marco Peressotti},
editor = {Chih{-}Cheng Hung and
Tom{\'{a}}s Cern{\'{y}} and
Dongwan Shin and
Alessio Bechini},
title = {Towards a formal model for composable container systems},
booktitle = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
event, [Brno, Czech Republic], March 30 - April 3, 2020},
pages = {173--175},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341105.3374121},
doi = {10.1145/3341105.3374121},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BurcoMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AndersenHMNP20,
author = {Jakob Lykke Andersen and
Marc Hellmuth and
Daniel Merkle and
Nikolai N{\o}jgaard and
Marco Peressotti},
editor = {Yannis Manolopoulos and
George A. Papadopoulos and
Theodoros Tzouramanis},
title = {A Graph-Based Tool to Embed the {\(\pi\)}-Calculus into a Computational
{DPO} Framework},
booktitle = {Proceedings of the {SOFSEM} 2020 Doctoral Student Research Forum co-located
with the 46th International Conference on Current Trends in Theory
and Practice of Computer Science {(SOFSEM} 2020), Limassol, Cyprus,
January 20-24, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2568},
pages = {121--132},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2568/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:30 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/AndersenHMNP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/microservices/2019,
editor = {Lu{\'{\i}}s Cruz{-}Filipe and
Saverio Giallorenzo and
Fabrizio Montesi and
Marco Peressotti and
Florian Rademacher and
Sabine Sachweh},
title = {Joint Post-proceedings of the First and Second International Conference
on Microservices, Microservices 2017/2019, October 23-27, 2017, Odense,
Denmark / February 19-21, 2019, Dortmund, Germany},
series = {OASIcs},
volume = {78},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-137-5},
isbn = {978-3-95977-137-5},
timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/microservices/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-10209,
author = {Alessio Chiapperini and
Marino Miculan and
Marco Peressotti},
title = {A {CSP} implementation of the directed bigraph embedding problem},
journal = {CoRR},
volume = {abs/2003.10209},
year = {2020},
url = {https://arxiv.org/abs/2003.10209},
eprinttype = {arXiv},
eprint = {2003.10209},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-10209.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-09520,
author = {Saverio Giallorenzo and
Fabrizio Montesi and
Marco Peressotti},
title = {Choreographies as Objects},
journal = {CoRR},
volume = {abs/2005.09520},
year = {2020},
url = {https://arxiv.org/abs/2005.09520},
eprinttype = {arXiv},
eprint = {2005.09520},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-09520.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-10809,
author = {Marino Miculan and
Marco Peressotti},
title = {Software Transactional Memory with Interactions},
journal = {CoRR},
volume = {abs/2007.10809},
year = {2020},
url = {https://arxiv.org/abs/2007.10809},
eprinttype = {arXiv},
eprint = {2007.10809},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-10809.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BrengosP19,
author = {Tomasz Brengos and
Marco Peressotti},
title = {Behavioural equivalences for timed systems},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {1},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(1:17)2019},
doi = {10.23638/LMCS-15(1:17)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BrengosP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KokkeMP19,
author = {Wen Kokke and
Fabrizio Montesi and
Marco Peressotti},
title = {Better late than never: a fully-abstract semantics for classical processes},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {24:1--24:29},
year = {2019},
url = {https://doi.org/10.1145/3290337},
doi = {10.1145/3290337},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KokkeMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/GabbrielliGLMPZ19,
author = {Maurizio Gabbrielli and
Saverio Giallorenzo and
Ivan Lanese and
Fabrizio Montesi and
Marco Peressotti and
Stefano Pio Zingaro},
editor = {Hanne Riis Nielson and
Emilio Tuosto},
title = {No More, No Less - {A} Formal Model for Serverless Computing},
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 = {148--157},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7\_9},
doi = {10.1007/978-3-030-22397-7\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/GabbrielliGLMPZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-07962,
author = {Maurizio Gabbrielli and
Saverio Giallorenzo and
Ivan Lanese and
Fabrizio Montesi and
Marco Peressotti and
Stefano Pio Zingaro},
title = {No more, no less - {A} formal model for serverless computing},
journal = {CoRR},
volume = {abs/1903.07962},
year = {2019},
url = {http://arxiv.org/abs/1903.07962},
eprinttype = {arXiv},
eprint = {1903.07962},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-07962.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-05573,
author = {Tomasz Brengos and
Marco Peressotti},
title = {Two modes of recognition: algebra, coalgebra, and languages},
journal = {CoRR},
volume = {abs/1906.05573},
year = {2019},
url = {http://arxiv.org/abs/1906.05573},
eprinttype = {arXiv},
eprint = {1906.05573},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-05573.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-00407,
author = {Jakob Lykke Andersen and
Marc Hellmuth and
Daniel Merkle and
Nikolai N{\o}jgaard and
Marco Peressotti},
title = {A Graph-Based Tool to Embed the {\(\pi\)}-Calculus into a Computational
{DPO} Framework},
journal = {CoRR},
volume = {abs/1911.00407},
year = {2019},
url = {http://arxiv.org/abs/1911.00407},
eprinttype = {arXiv},
eprint = {1911.00407},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-00407.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-01107,
author = {Fabio Burco and
Marino Miculan and
Marco Peressotti},
title = {Towards a Formal Model for Composable Container Systems},
journal = {CoRR},
volume = {abs/1912.01107},
year = {2019},
url = {http://arxiv.org/abs/1912.01107},
eprinttype = {arXiv},
eprint = {1912.01107},
timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-01107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Cruz-FilipeMP18,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Fabrizio Montesi and
Marco Peressotti},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {Communications in choreographies, revisited},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {1248--1255},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167267},
doi = {10.1145/3167132.3167267},
timestamp = {Wed, 25 Sep 2019 18:12:13 +0200},
biburl = {https://dblp.org/rec/conf/sac/Cruz-FilipeMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-06848,
author = {Wen Kokke and
Fabrizio Montesi and
Marco Peressotti},
editor = {Thomas Ehrhard and
Maribel Fern{\'{a}}ndez and
Valeria de Paiva and
Lorenzo Tortora de Falco},
title = {Taking Linear Logic Apart},
booktitle = {Proceedings Joint International Workshop on Linearity {\&} Trends
in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford,
UK, 7-8 July 2018},
series = {{EPTCS}},
volume = {292},
pages = {90--103},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.292.5},
doi = {10.4204/EPTCS.292.5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-06848.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-01049,
author = {Fabrizio Montesi and
Marco Peressotti},
title = {Classical Transitions},
journal = {CoRR},
volume = {abs/1803.01049},
year = {2018},
url = {http://arxiv.org/abs/1803.01049},
eprinttype = {arXiv},
eprint = {1803.01049},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-02209,
author = {Wen Kokke and
Fabrizio Montesi and
Marco Peressotti},
title = {Better Late Than Never: {A} Fully Abstract Semantics for Classical
Processes},
journal = {CoRR},
volume = {abs/1811.02209},
year = {2018},
url = {http://arxiv.org/abs/1811.02209},
eprinttype = {arXiv},
eprint = {1811.02209},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-02209.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Peressotti17,
author = {Marco Peressotti},
title = {Coalgebraic semantics of self-referential behaviours},
school = {University of Udine, Italy},
year = {2017},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=TD17021083},
timestamp = {Sat, 06 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Peressotti17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MiculanP17,
author = {Marino Miculan and
Marco Peressotti},
editor = {Dario Della Monica and
Aniello Murano and
Sasha Rubin and
Luigi Sauro},
title = {Deciding Weak Weighted Bisimulation},
booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
Science and the 32nd Italian Conference on Computational Logic co-located
with the 2017 {IEEE} International Workshop on Measurements and Networking
{(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1949},
pages = {126--137},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1949/ICTCSpaper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MiculanP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/MansuttiMP17,
author = {Alessio Mansutti and
Marino Miculan and
Marco Peressotti},
editor = {Martina Seidl and
Steffen Zschaler},
title = {Loose Graph Simulations},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10748},
pages = {109--126},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74730-9\_9},
doi = {10.1007/978-3-319-74730-9\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/MansuttiMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiculanP17,
author = {Marino Miculan and
Marco Peressotti},
title = {Reductions for Transition Systems at Work: Deriving a Logical Characterization
of Quantitative Bisimulation},
journal = {CoRR},
volume = {abs/1704.07181},
year = {2017},
url = {http://arxiv.org/abs/1704.07181},
eprinttype = {arXiv},
eprint = {1704.07181},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MiculanP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Peressotti17,
author = {Marco Peressotti},
title = {On the trade-off between labels and weights in quantitative bisimulation},
journal = {CoRR},
volume = {abs/1705.06439},
year = {2017},
url = {http://arxiv.org/abs/1705.06439},
eprinttype = {arXiv},
eprint = {1705.06439},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Peressotti17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MansuttiMP17,
author = {Alessio Mansutti and
Marino Miculan and
Marco Peressotti},
title = {Loose Graph Simulations},
journal = {CoRR},
volume = {abs/1705.08241},
year = {2017},
url = {http://arxiv.org/abs/1705.08241},
eprinttype = {arXiv},
eprint = {1705.08241},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MansuttiMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-10201,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Fabrizio Montesi and
Marco Peressotti},
title = {Communications in Choreographies, Revisited},
journal = {CoRR},
volume = {abs/1711.10201},
year = {2017},
url = {http://arxiv.org/abs/1711.10201},
eprinttype = {arXiv},
eprint = {1711.10201},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-10233,
author = {Tomasz Brengos and
Marco Peressotti},
title = {A Uniform Framework for Timed Automata and Beyond},
journal = {CoRR},
volume = {abs/1711.10233},
year = {2017},
url = {http://arxiv.org/abs/1711.10233},
eprinttype = {arXiv},
eprint = {1711.10233},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-05465,
author = {Fabrizio Montesi and
Marco Peressotti},
title = {Choreographies meet Communication Failures},
journal = {CoRR},
volume = {abs/1712.05465},
year = {2017},
url = {http://arxiv.org/abs/1712.05465},
eprinttype = {arXiv},
eprint = {1712.05465},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-05465.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcdl/NartDP16,
author = {Dario De Nart and
Dante Degl'Innocenti and
Marco Peressotti},
title = {Well-Stratified Linked Data for Well-Behaved Data Citation},
journal = {Bull. {IEEE} Tech. Comm. Digit. Libr.},
volume = {12},
number = {1},
year = {2016},
url = {https://bulletin.jcdl.org/Bulletin/v12n1/papers/IEEE-TCDL-DC-2016\_paper\_2.pdf},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcdl/NartDP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MiculanP16,
author = {Marino Miculan and
Marco Peressotti},
title = {Structural operational semantics for non-deterministic processes with
quantitative aspects},
journal = {Theor. Comput. Sci.},
volume = {655},
pages = {135--154},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.01.012},
doi = {10.1016/J.TCS.2016.01.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MiculanP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrengosP16,
author = {Tomasz Brengos and
Marco Peressotti},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {A Uniform Framework for Timed Automata},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {26:1--26:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.26},
doi = {10.4230/LIPICS.CONCUR.2016.26},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/BrengosP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MiculanP16,
author = {Marino Miculan and
Marco Peressotti},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {On the Bisimulation Hierarchy of State-to-Function Transition Systems},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {88--102},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MiculanP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ircdl/NartDPT16,
author = {Dario De Nart and
Dante Degl'Innocenti and
Marco Peressotti and
Carlo Tasso},
editor = {Maristella Agosti and
Marco Bertini and
Stefano Ferilli and
Simone Marinai and
Nicola Orio},
title = {Stratifying Semantic Data for Citation and Trust: An Introduction
to {RDFDF}},
booktitle = {Digital Libraries and Multimedia Archives - 12th Italian Research
Conference on Digital Libraries, {IRCDL} 2016, Florence, Italy, February
4-5, 2016, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {701},
pages = {104--111},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-56300-8\_10},
doi = {10.1007/978-3-319-56300-8\_10},
timestamp = {Mon, 26 Jun 2023 20:47:40 +0200},
biburl = {https://dblp.org/rec/conf/ircdl/NartDPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiculanP16,
author = {Marino Miculan and
Marco Peressotti},
title = {A Specification of Open Transactional Memory for Haskell},
journal = {CoRR},
volume = {abs/1602.05365},
year = {2016},
url = {http://arxiv.org/abs/1602.05365},
eprinttype = {arXiv},
eprint = {1602.05365},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MiculanP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Peressotti16,
author = {Marco Peressotti},
title = {Endofunctors modelling higher-order behaviours},
journal = {CoRR},
volume = {abs/1602.06221},
year = {2016},
url = {http://arxiv.org/abs/1602.06221},
eprinttype = {arXiv},
eprint = {1602.06221},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Peressotti16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BrengosMP15,
author = {Tomasz Brengos and
Marino Miculan and
Marco Peressotti},
title = {Behavioural equivalences for coalgebras with unobservable moves},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {6},
pages = {826--852},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.09.002},
doi = {10.1016/J.JLAMP.2015.09.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BrengosMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/MiculanPT15,
author = {Marino Miculan and
Marco Peressotti and
Andrea Toneguzzo},
editor = {Tom Holvoet and
Mirko Viroli},
title = {Open Transactions on Shared Memory},
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 = {213--229},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19282-6\_14},
doi = {10.1007/978-3-319-19282-6\_14},
timestamp = {Fri, 27 Mar 2020 08:47:36 +0100},
biburl = {https://dblp.org/rec/conf/coordination/MiculanPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MansuttiMP15,
author = {Alessio Mansutti and
Marino Miculan and
Marco Peressotti},
title = {Distributed execution of bigraphical reactive systems},
journal = {CoRR},
volume = {abs/1503.02434},
year = {2015},
url = {http://arxiv.org/abs/1503.02434},
eprinttype = {arXiv},
eprint = {1503.02434},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MansuttiMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiculanPT15,
author = {Marino Miculan and
Marco Peressotti and
Andrea Toneguzzo},
title = {Open Transactions on Shared Memory},
journal = {CoRR},
volume = {abs/1503.09097},
year = {2015},
url = {http://arxiv.org/abs/1503.09097},
eprinttype = {arXiv},
eprint = {1503.09097},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MiculanPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NartDP15,
author = {Dario De Nart and
Dante Degl'Innocenti and
Marco Peressotti},
title = {Well-Stratified Linked Data for Well-Behaved Data Citation},
journal = {CoRR},
volume = {abs/1512.02898},
year = {2015},
url = {http://arxiv.org/abs/1512.02898},
eprinttype = {arXiv},
eprint = {1512.02898},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NartDP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/MansuttiMP14,
author = {Alessio Mansutti and
Marino Miculan and
Marco Peressotti},
title = {Distributed execution of bigraphical reactive systems},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {71},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.71.994},
doi = {10.14279/TUJ.ECEASST.71.994},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/MansuttiMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/MansuttiMP14,
author = {Alessio Mansutti and
Marino Miculan and
Marco Peressotti},
editor = {Kostas Magoutis and
Peter R. Pietzuch},
title = {Multi-agent Systems Design and Prototyping with Bigraphical Reactive
Systems},
booktitle = {Distributed Applications and Interoperable Systems - 14th {IFIP} {WG}
6.1 International Conference, {DAIS} 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 = {8460},
pages = {201--208},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43352-2\_16},
doi = {10.1007/978-3-662-43352-2\_16},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/dais/MansuttiMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MiculanP14,
author = {Marino Miculan and
Marco Peressotti},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {{GSOS} for non-deterministic processes with quantitative aspects},
booktitle = {Proceedings Twelfth International Workshop on Quantitative Aspects
of Programming Languages and Systems, {QAPL} 2014, Grenoble, France,
12-13 April 2014},
series = {{EPTCS}},
volume = {154},
pages = {17--33},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.154.2},
doi = {10.4204/EPTCS.154.2},
timestamp = {Tue, 29 Dec 2020 18:21:13 +0100},
biburl = {https://dblp.org/rec/journals/corr/MiculanP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiculanP14a,
author = {Marino Miculan and
Marco Peressotti},
title = {Structural operational semantics for non-deterministic processes with
quantitative aspects},
journal = {CoRR},
volume = {abs/1410.0893},
year = {2014},
url = {http://arxiv.org/abs/1410.0893},
eprinttype = {arXiv},
eprint = {1410.0893},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MiculanP14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrengosMP14,
author = {Tomasz Brengos and
Marino Miculan and
Marco Peressotti},
title = {Behavioural equivalences for coalgebras with unobservable moves},
journal = {CoRR},
volume = {abs/1411.0090},
year = {2014},
url = {http://arxiv.org/abs/1411.0090},
eprinttype = {arXiv},
eprint = {1411.0090},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrengosMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiculanP14b,
author = {Marino Miculan and
Marco Peressotti},
title = {A {CSP} implementation of the bigraph embedding problem},
journal = {CoRR},
volume = {abs/1412.1042},
year = {2014},
url = {http://arxiv.org/abs/1412.1042},
eprinttype = {arXiv},
eprint = {1412.1042},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MiculanP14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiculanP13,
author = {Marino Miculan and
Marco Peressotti},
title = {Weak bisimulations for labelled transition systems weighted over semirings},
journal = {CoRR},
volume = {abs/1310.4106},
year = {2013},
url = {http://arxiv.org/abs/1310.4106},
eprinttype = {arXiv},
eprint = {1310.4106},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MiculanP13.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-25 02:27 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:
