My publications are also listed on my DBLP and Google Scholar profiles.
@inproceedings{MP20, author = {Miculan, Marino and Peressotti, Marco}, editor = {Cordasco, Gennaro and Gargano, Luisa and Rescigno, Adele A.}, 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 = {http://ceur-ws.org/Vol-2756/paper\_7.pdf} }
@inproceedings{CMP20, author = {Chiapperini, Alessio and Miculan, Marino and Peressotti, Marco}, editor = {Gadducci, Fabio and Kehrer, Timo}, 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} }
@inproceedings{BMP20, author = {Burco, Fabio and Miculan, Marino and Peressotti, Marco}, title = {Towards a Formal Model for Composable Container Systems}, booktitle = {Proceedings of the 35rd Annual {ACM} Symposium on Applied Computing, {SAC} 2020, Brno, Czech Republic, March 29-April 03, 2020}, pages = {173--175}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3341105.3374121}, doi = {10.1145/3341105.3374121} }
@inproceedings{AHMKP20, author = {Andersen, Jakob Lykke and Hellmuth, Marc and Merkle, Daniel and N{\o}jgaard, Nikolai and Peressotti, Marco}, title = {A Graph-Based Tool to Embed the π-Calculus into a Computational {DPO} Framework}, year = {2020}, editor = {Manolopoulos, Yannis and Papadopoulos, George Α. and Tzouramanis, Theodoros}, booktitle = {Proceedings of the SOFSEM 2020 Student Research Forum co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020)}, volume = {2568}, pages = {121-132}, publisher = {CEUR-WS.org}, url = {http://ceur-ws.org/Vol-2568/paper11.pdf} }
@proceedings{CGMPRS20, editor = {Cruz{-}Filipe, Lu{\'{\i}}s and Giallorenzo, Saverio and Montesi, Fabrizio and Peressotti, Marco and Rademacher, Florian and Sachweh, Sabine}, 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}, isbn = {978-3-95977-137-5}, url = {https://drops.dagstuhl.de/opus/volltexte/2020/11822/} }
@article{abs-2005-09520, author = {Giallorenzo, Saverio and Montesi, Fabrizio and Peressotti, Marco}, title = {Choreographies as Objects}, journal = {CoRR}, volume = {abs/22005.09520}, year = {2020}, url = {http://arxiv.org/abs/2005.09520}, archiveprefix = {arXiv}, eprint = {2005.09520} }
@article{BP19, author = {Brengos, Tomasz and Peressotti, Marco}, title = {Behavioural equivalences for timed systems}, journal = {Logical Methods in Computer Science}, 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} }
@article{KMP19, author = {Kokke, Wen and Montesi, Fabrizio and Peressotti, Marco}, title = {Better late than never: a fully-abstract semantics for classical processes}, journal = {{PACMPL}}, volume = {3}, number = {{POPL}}, pages = {24:1--24:29}, year = {2019}, url = {https://doi.org/10.1145/3290337}, doi = {10.1145/3290337} }
@inproceedings{GGLMPZ19, author = {Gabbrielli, Maurizio and Giallorenzo, Saverio and Lanese, Ivan and Montesi, Fabrizio and Peressotti, Marco and Zingaro, Stefano Pio}, 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} }
@article{abs-1906-05573, author = {Brengos, Tomasz and Peressotti, Marco}, title = {Two modes of recognition: algebra, coalgebra, and languages}, journal = {CoRR}, volume = {abs/1906.05573}, year = {2019}, url = {http://arxiv.org/abs/1906.05573}, archiveprefix = {arXiv}, eprint = {1906.05573} }
@inproceedings{CMP18, author = {Cruz{-}Filipe, Lu{\'{\i}}s and Montesi, Fabrizio and Peressotti, Marco}, 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} }
@inproceedings{KMP18, author = {Kokke, Wen and Montesi, Fabrizio and Peressotti, Marco}, title = {Taking Linear Logic Apart}, year = {2018}, editor = {Ehrhard, Thomas and Fern{\'{a}}ndez, Maribel and de Paiva, Valeria and de Falco, Lorenzo Tortora}, booktitle = {Proceedings Joint International Workshop on Linearity {\&} Trends in Linear Logic and Applications, [email protected] 2018, Oxford, UK, 7-8 July 2018.}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {292}, publisher = {Open Publishing Association}, pages = {90--103}, doi = {10.4204/EPTCS.292.5}, url = {https://doi.org/10.4204/EPTCS.292.5} }
@article{abs-1803-01049, author = {Montesi, Fabrizio and Peressotti, Marco}, title = {Classical Transitions}, journal = {CoRR}, volume = {abs/1803.01049}, year = {2018}, url = {http://arxiv.org/abs/1803.01049}, archiveprefix = {arXiv}, eprint = {1803.01049} }
@inproceedings{MP17, author = {Miculan, Marino and Peressotti, Marco}, editor = {Monica, Dario Della and Murano, Aniello and Rubin, Sasha and Sauro, Luigi}, 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.}, volume = {1949}, pages = {126--137}, publisher = {CEUR-WS.org}, year = {2017}, url = {http://ceur-ws.org/Vol-1720/full7.pdf} }
@inproceedings{MMP17, author = {Mansutti, Alessio and Miculan, Marino and Peressotti, Marco}, editor = {Seidl, Martina and Zschaler, Steffen}, 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} }
@article{abs-1712-05465, author = {Montesi, Fabrizio and Peressotti, Marco}, title = {Choreographies meet Communication Failures}, journal = {CoRR}, volume = {abs/1712.05465}, year = {2017}, url = {http://arxiv.org/abs/1712.05465}, archiveprefix = {arXiv}, eprint = {1712.05465} }
@article{DDP16, title = {Well-Stratified Linked Data for Well-Behaved Data Citation}, author = {De Nart, Dario and Degl'Innocenti, Dante and Peressotti, Marco}, journal = {{Bulletin of IEEE Technical Committee on Digital Libraries}}, volume = {12}, number = {1}, pages = {16--26}, year = {2016}, url = {https://www.ieee-tcdl.org/Bulletin/v12n1/papers/IEEE-TCDL-DC-2016\_paper\_2.pdf} }
@article{MP16, author = {Miculan, Marino and Peressotti, Marco}, title = {Structural operational semantics for non-deterministic processes with quantitative aspects}, journal = {Theoretical Computer Science}, 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} }
@inproceedings{BP16, author = {Brengos, Tomasz and Peressotti, Marco}, editor = {Desharnais, Jos{\'{e}}e and Jagadeesan, Radha}, 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 fuer Informatik}, year = {2016}, url = {http://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.26}, doi = {10.4230/LIPIcs.CONCUR.2016.26} }
@inproceedings{MP18, author = {Miculan, Marino and Peressotti, Marco}, editor = {Bil{\`{o}}, Vittorio and Caruso, Antonio}, 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 = {http://ceur-ws.org/Vol-1720/full7.pdf} }
@inproceedings{DDPT16, author = {De Nart, Dario and Degl'Innocenti, Dante and Peressotti, Marco and Tasso, Carlo}, editor = {Agosti, Maristella and Bertini, Marco and Ferilli, Stefano and Marinai, Simone and Orio, Nicola}, 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}, isbn = {978-3-319-56300-8}, doi = {10.1007/978-3-319-56300-8_10}, url = {http://dx.doi.org/10.1007/978-3-319-56300-8_10} }
@article{abs-1602-05365, author = {Miculan, Marino and Peressotti, Marco}, title = {A Specification of Open Transactional Memory for Haskell}, journal = {CoRR}, volume = {abs/1602.05365}, year = {2016}, url = {http://arxiv.org/abs/1602.05365}, archiveprefix = {arXiv}, eprint = {1602.05365} }
@article{abs-1602-06221, author = {Peressotti, Marco}, title = {Endofunctors modelling higher-order behaviours}, journal = {CoRR}, volume = {abs/1602.06221}, year = {2016}, url = {http://arxiv.org/abs/1602.06221}, archiveprefix = {arXiv}, eprint = {1602.06221} }
@article{BMP15, author = {Brengos, Tomasz and Miculan, Marino and Peressotti, Marco}, title = {Behavioural equivalences for coalgebras with unobservable moves}, journal = {Journal of Logical and Algebraic Methods in Programming}, volume = {84}, number = {6}, pages = {826--852}, year = {2015}, url = {http://dx.doi.org/10.1016/j.jlamp.2015.09.002}, doi = {10.1016/j.jlamp.2015.09.002} }
@inproceedings{MPT15, author = {Miculan, Marino and Peressotti, Marco and Toneguzzo, Andrea}, editor = {Holvoet, Tom and Viroli, Mirko}, 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}, doi = {10.1007/978-3-319-19282-6\_14}, url = {http://dx.doi.org/10.1007/978-3} }
@article{MMP14, author = {Mansutti, Alessio and Miculan, Marino and Peressotti, Marco}, title = {Distributed execution of bigraphical reactive systems}, journal = {{Electronic Communications of the EASST}}, volume = {71}, year = {2014}, url = {https://doi.org/10.14279/tuj.eceasst.71.994}, doi = {10.14279/tuj.eceasst.71.994} }
@inproceedings{MMP15, author = {Mansutti, Alessio and Miculan, Marino and Peressotti, Marco}, editor = {Magoutis, Kostas and Pietzuch, Peter R.}, 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 = {http://dx.doi.org/10.1007/978-3-662-43352-2_16}, doi = {10.1007/978-3-662-43352-2_16} }
@inproceedings{MP14, author = {Miculan, Marino and Peressotti, Marco}, editor = {Bertrand, Nathalie and Bortolussi, Luca}, 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 = {Electronic Proceedings in Theoretical Computer Science}, volume = {154}, pages = {17--33}, year = {2014}, url = {http://dx.doi.org/10.4204/EPTCS.154.2}, doi = {10.4204/EPTCS.154.2} }
@inproceedings{MMP16, title = {Towards distributed bigraphical reactive systems}, author = {Mansutti, Alessio and Miculan, Marino and Peressotti, Marco}, booktitle = {Proc.~GCM}, pages = {45}, year = {2014}, editor = {Echahed, Rachid and Habel, Annegre and Mosbah, Mohamed}, url = {http://gcm2014.imag.fr/proceedingsGCM2014.pdf} }
@article{abs-1412-1042, author = {Miculan, Marino and Peressotti, Marco}, title = {A {CSP} implementation of the bigraph embedding problem}, journal = {CoRR}, volume = {abs/1412.1042}, year = {2014}, url = {http://arxiv.org/abs/1412.1042}, archiveprefix = {arXiv}, eprint = {1412.1042} }
@article{abs-1310-4106, author = {Miculan, Marino and Peressotti, Marco}, 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}, archiveprefix = {arXiv}, eprint = {1310.4106} }