BibTeX records: Marco Peressotti

download as .bib file

@article{DBLP:journals/lmcs/BrengosP19,
  author    = {Tomasz Brengos and
               Marco Peressotti},
  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},
  timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
  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   = {{PACMPL}},
  volume    = {3},
  number    = {{POPL}},
  pages     = {24:1--24:29},
  year      = {2019},
  url       = {https://doi.org/10.1145/3290337},
  doi       = {10.1145/3290337},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  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, 19 Oct 2019 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},
  archivePrefix = {arXiv},
  eprint    = {1903.07962},
  timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
  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},
  archivePrefix = {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},
  archivePrefix = {arXiv},
  eprint    = {1911.00407},
  timestamp = {Mon, 11 Nov 2019 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},
  archivePrefix = {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},
  archivePrefix = {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},
  archivePrefix = {arXiv},
  eprint    = {1811.02209},
  timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1811-02209.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       = {http://ceur-ws.org/Vol-1949/ICTCSpaper11.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44: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 = {Tue, 14 May 2019 10:00:51 +0200},
  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},
  archivePrefix = {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},
  archivePrefix = {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},
  archivePrefix = {arXiv},
  eprint    = {1705.08241},
  timestamp = {Mon, 13 Aug 2018 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},
  archivePrefix = {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},
  archivePrefix = {arXiv},
  eprint    = {1711.10233},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  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},
  archivePrefix = {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   = {{TCDL} Bulletin},
  volume    = {12},
  number    = {1},
  year      = {2016},
  url       = {https://www.ieee-tcdl.org/Bulletin/v12n1/papers/IEEE-TCDL-DC-2016\_paper\_2.pdf},
  timestamp = {Tue, 19 Nov 2019 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 = {Mon, 06 Nov 2017 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       = {http://ceur-ws.org/Vol-1720/full7.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44: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 = {Sat, 16 Sep 2017 01:00:00 +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},
  archivePrefix = {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},
  archivePrefix = {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 = {Sat, 22 Feb 2020 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 = {Tue, 20 Aug 2019 01:00:00 +0200},
  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},
  archivePrefix = {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},
  archivePrefix = {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},
  archivePrefix = {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   = {{ECEASST}},
  volume    = {71},
  year      = {2014},
  url       = {https://doi.org/10.14279/tuj.eceasst.71.994},
  doi       = {10.14279/tuj.eceasst.71.994},
  timestamp = {Wed, 29 May 2019 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 = {Mon, 16 Sep 2019 14:48:18 +0200},
  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},
  archivePrefix = {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},
  archivePrefix = {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},
  archivePrefix = {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},
  archivePrefix = {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 Schloss Dagstuhl - Leibniz Center for Informatics