BibTeX records: Roberto Bruni

download as .bib file

@article{DBLP:journals/jacm/BruniGGR23,
  author       = {Roberto Bruni and
                  Roberto Giacobazzi and
                  Roberta Gori and
                  Francesco Ranzato},
  title        = {A Correctness and Incorrectness Program Logic},
  journal      = {J. {ACM}},
  volume       = {70},
  number       = {2},
  pages        = {15:1--15:45},
  year         = {2023},
  url          = {https://doi.org/10.1145/3582267},
  doi          = {10.1145/3582267},
  timestamp    = {Thu, 11 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/BruniGGR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nca/BrodoBFGLM23,
  author       = {Linda Brodo and
                  Roberto Bruni and
                  Moreno Falaschi and
                  Roberta Gori and
                  Francesca Levi and
                  Paolo Milazzo},
  title        = {Quantitative extensions of reaction systems based on {SOS} semantics},
  journal      = {Neural Comput. Appl.},
  volume       = {35},
  number       = {9},
  pages        = {6335--6359},
  year         = {2023},
  url          = {https://doi.org/10.1007/s00521-022-07935-6},
  doi          = {10.1007/S00521-022-07935-6},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nca/BrodoBFGLM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Bruni23,
  author       = {Roberto Bruni},
  editor       = {Paolo Baldan and
                  Valeria de Paiva},
  title        = {Local Completeness for Program Correctness and Incorrectness (Invited
                  Talk)},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
  series       = {LIPIcs},
  volume       = {270},
  pages        = {2:1--2:2},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2023.2},
  doi          = {10.4230/LIPICS.CALCO.2023.2},
  timestamp    = {Mon, 04 Sep 2023 17:05:19 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/Bruni23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KoriABBGH23,
  author       = {Mayuko Kori and
                  Flavio Ascari and
                  Filippo Bonchi and
                  Roberto Bruni and
                  Roberta Gori and
                  Ichiro Hasuo},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Exploiting Adjoints in Property Directed Reachability Analysis},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {41--63},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_3},
  doi          = {10.1007/978-3-031-37703-7\_3},
  timestamp    = {Tue, 12 Sep 2023 07:57:21 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KoriABBGH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AscariBG23,
  author       = {Flavio Ascari and
                  Roberto Bruni and
                  Roberta Gori},
  editor       = {Thomas Wies},
  title        = {Logics for Extensional, Locally Complete Analysis via Domain Refinements},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {1--27},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_1},
  doi          = {10.1007/978-3-031-30044-8\_1},
  timestamp    = {Sat, 13 May 2023 01:07:18 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/AscariBG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BrodoBF23,
  author       = {Linda Brodo and
                  Roberto Bruni and
                  Moreno Falaschi},
  editor       = {Michael Hanus and
                  Daniela Inclezan},
  title        = {Dynamic Slicing of Reaction Systems Based on Assertions and Monitors},
  booktitle    = {Practical Aspects of Declarative Languages - 25th International Symposium,
                  {PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13880},
  pages        = {107--124},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-24841-2\_8},
  doi          = {10.1007/978-3-031-24841-2\_8},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/BrodoBF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-02817,
  author       = {Mayuko Kori and
                  Flavio Ascari and
                  Filippo Bonchi and
                  Roberto Bruni and
                  Roberta Gori and
                  Ichiro Hasuo},
  title        = {Exploiting Adjoints in Property Directed Reachability Analysis},
  journal      = {CoRR},
  volume       = {abs/2307.02817},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.02817},
  doi          = {10.48550/ARXIV.2307.02817},
  eprinttype    = {arXiv},
  eprint       = {2307.02817},
  timestamp    = {Mon, 10 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-02817.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-18156,
  author       = {Flavio Ascari and
                  Roberto Bruni and
                  Roberta Gori and
                  Francesco Logozzo},
  title        = {Sufficient Incorrectness Logic: {SIL} and Separation {SIL}},
  journal      = {CoRR},
  volume       = {abs/2310.18156},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2310.18156},
  doi          = {10.48550/ARXIV.2310.18156},
  eprinttype    = {arXiv},
  eprint       = {2310.18156},
  timestamp    = {Thu, 02 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-18156.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AscariBG22,
  author       = {Flavio Ascari and
                  Roberto Bruni and
                  Roberta Gori},
  editor       = {Patricia Bouyer and
                  Lutz Schr{\"{o}}der},
  title        = {Limits and difficulties in the design of under-approximation abstract
                  domains},
  booktitle    = {Foundations of Software Science and Computation Structures - 25th
                  International Conference, {FOSSACS} 2022, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
                  Munich, Germany, April 2-7, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13242},
  pages        = {21--39},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99253-8\_2},
  doi          = {10.1007/978-3-030-99253-8\_2},
  timestamp    = {Fri, 29 Apr 2022 14:50:32 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/AscariBG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BruniGGR22,
  author       = {Roberto Bruni and
                  Roberto Giacobazzi and
                  Roberta Gori and
                  Francesco Ranzato},
  editor       = {Ranjit Jhala and
                  Isil Dillig},
  title        = {Abstract interpretation repair},
  booktitle    = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
                  Language Design and Implementation, San Diego, CA, USA, June 13 -
                  17, 2022},
  pages        = {426--441},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3519939.3523453},
  doi          = {10.1145/3519939.3523453},
  timestamp    = {Fri, 03 Jun 2022 08:25:37 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/BruniGGR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BruniGM22,
  author       = {Roberto Bruni and
                  Roberta Gori and
                  Nicolas Manini},
  editor       = {Gagandeep Singh and
                  Caterina Urban},
  title        = {Deciding Program Properties via Complete Abstractions on Bounded Domains},
  booktitle    = {Static Analysis - 29th International Symposium, {SAS} 2022, Auckland,
                  New Zealand, December 5-7, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13790},
  pages        = {175--200},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-22308-2\_9},
  doi          = {10.1007/978-3-031-22308-2\_9},
  timestamp    = {Thu, 08 Dec 2022 15:19:05 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/BruniGM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrodoBF21,
  author       = {Linda Brodo and
                  Roberto Bruni and
                  Moreno Falaschi},
  title        = {A logical and graphical framework for reaction systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {875},
  pages        = {1--27},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.tcs.2021.03.024},
  doi          = {10.1016/J.TCS.2021.03.024},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BrodoBF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrodoBF21a,
  author       = {Linda Brodo and
                  Roberto Bruni and
                  Moreno Falaschi},
  title        = {A process algebraic approach to reaction systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {881},
  pages        = {62--82},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.tcs.2020.09.001},
  doi          = {10.1016/J.TCS.2020.09.001},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BrodoBF21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BruniGGR21,
  author       = {Roberto Bruni and
                  Roberto Giacobazzi and
                  Roberta Gori and
                  Francesco Ranzato},
  title        = {A Logic for Locally Complete Abstract Interpretations},
  booktitle    = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2021, Rome, Italy, June 29 - July 2, 2021},
  pages        = {1--13},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/LICS52264.2021.9470608},
  doi          = {10.1109/LICS52264.2021.9470608},
  timestamp    = {Fri, 09 Jul 2021 14:04:16 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/BruniGGR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpnc/BrodoBFGLM21,
  author       = {Linda Brodo and
                  Roberto Bruni and
                  Moreno Falaschi and
                  Roberta Gori and
                  Francesca Levi and
                  Paolo Milazzo},
  editor       = {Claus Aranha and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Miguel A. Vega{-}Rodr{\'{\i}}guez},
  title        = {Exploiting Modularity of {SOS} Semantics to Define Quantitative Extensions
                  of Reaction Systems},
  booktitle    = {Theory and Practice of Natural Computing - 10th International Conference,
                  {TPNC} 2021, Tsukuba, Japan, December 7-10, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13082},
  pages        = {15--32},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-90425-8\_2},
  doi          = {10.1007/978-3-030-90425-8\_2},
  timestamp    = {Tue, 09 Nov 2021 16:35:34 +0100},
  biburl       = {https://dblp.org/rec/conf/tpnc/BrodoBFGLM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BodeiBB20,
  author       = {Chiara Bodei and
                  Linda Brodo and
                  Roberto Bruni},
  title        = {The link-calculus for open multiparty interactions},
  journal      = {Inf. Comput.},
  volume       = {275},
  pages        = {104587},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.ic.2020.104587},
  doi          = {10.1016/J.IC.2020.104587},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/BodeiBB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BruniGGGP20,
  author       = {Roberto Bruni and
                  Roberto Giacobazzi and
                  Roberta Gori and
                  Isabel Garcia{-}Contreras and
                  Dusko Pavlovic},
  title        = {Abstract extensionality: on the properties of incomplete abstract
                  interpretations},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{POPL}},
  pages        = {28:1--28:28},
  year         = {2020},
  url          = {https://doi.org/10.1145/3371096},
  doi          = {10.1145/3371096},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/BruniGGGP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BruniMM20,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  title        = {Bayesian network semantics for Petri nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {807},
  pages        = {95--113},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.07.034},
  doi          = {10.1016/J.TCS.2019.07.034},
  timestamp    = {Fri, 31 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BruniMM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BruniMS20,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Matteo Sammartino},
  editor       = {Fabio Gadducci and
                  Timo Kehrer},
  title        = {Algebras for Tree Decomposable Graphs},
  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        = {203--220},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51372-6\_12},
  doi          = {10.1007/978-3-030-51372-6\_12},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/BruniMS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/BrodoBF20,
  author       = {Linda Brodo and
                  Roberto Bruni and
                  Moreno Falaschi},
  editor       = {Michael Hanus and
                  Claudio Sacerdoti Coen},
  title        = {{SOS} Rules for Equivalences of Reaction Systems},
  booktitle    = {Functional and Constraint Logic Programming - 28th International Workshop,
                  {WFLP} 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12560},
  pages        = {3--21},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-75333-7\_1},
  doi          = {10.1007/978-3-030-75333-7\_1},
  timestamp    = {Sun, 16 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wflp/BrodoBF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-13016,
  author       = {Linda Brodo and
                  Roberto Bruni and
                  Moreno Falaschi},
  title        = {{SOS} Rules for Equivalences of Reaction Systems},
  journal      = {CoRR},
  volume       = {abs/2008.13016},
  year         = {2020},
  url          = {https://arxiv.org/abs/2008.13016},
  eprinttype    = {arXiv},
  eprint       = {2008.13016},
  timestamp    = {Wed, 16 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-13016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BruniMM19,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  title        = {Concurrency and Probability: Removing Confusion, Compositionally},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {15},
  number       = {4},
  year         = {2019},
  url          = {https://doi.org/10.23638/LMCS-15(4:17)2019},
  doi          = {10.23638/LMCS-15(4:17)2019},
  timestamp    = {Tue, 27 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/BruniMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BodeiBB19,
  author       = {Chiara Bodei and
                  Linda Brodo and
                  Roberto Bruni},
  title        = {A formal approach to open multiparty interactions},
  journal      = {Theor. Comput. Sci.},
  volume       = {763},
  pages        = {38--65},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.01.033},
  doi          = {10.1016/J.TCS.2019.01.033},
  timestamp    = {Wed, 27 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BodeiBB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BrodoBF19,
  author       = {Linda Brodo and
                  Roberto Bruni and
                  Moreno Falaschi},
  editor       = {M{\'{a}}rio S. Alvim and
                  Kostas Chatzikokolakis and
                  Carlos Olarte and
                  Frank Valencia},
  title        = {Enhancing Reaction Systems: {A} Process Algebraic Approach},
  booktitle    = {The Art of Modelling Computational Systems: {A} Journey from Logic
                  and Concurrency to Security and Privacy - Essays Dedicated to Catuscia
                  Palamidessi on the Occasion of Her 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {11760},
  pages        = {68--85},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31175-9\_5},
  doi          = {10.1007/978-3-030-31175-9\_5},
  timestamp    = {Sat, 09 Apr 2022 12:46:09 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BrodoBF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruniCGMMT19,
  author       = {Roberto Bruni and
                  Andrea Corradini and
                  Fabio Gadducci and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari and
                  Emilio Tuosto},
  editor       = {Michele Boreale and
                  Flavio Corradini and
                  Michele Loreti and
                  Rosario Pugliese},
  title        = {Data-Driven Choreographies {\`{a}} la Klaim},
  booktitle    = {Models, Languages, and Tools for Concurrent and Distributed Programming
                  - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
                  Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {11665},
  pages        = {170--190},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-21485-2\_11},
  doi          = {10.1007/978-3-030-21485-2\_11},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BruniCGMMT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruniMM19,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Giorgio Mossa},
  editor       = {M{\'{a}}rio S. Alvim and
                  Kostas Chatzikokolakis and
                  Carlos Olarte and
                  Frank Valencia},
  title        = {A Coalgebraic Approach to Unification Semantics of Logic Programming},
  booktitle    = {The Art of Modelling Computational Systems: {A} Journey from Logic
                  and Concurrency to Security and Privacy - Essays Dedicated to Catuscia
                  Palamidessi on the Occasion of Her 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {11760},
  pages        = {223--240},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31175-9\_13},
  doi          = {10.1007/978-3-030-31175-9\_13},
  timestamp    = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/BruniMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/BruniM19,
  author       = {Roberto Bruni and
                  Ugo Montanari},
  editor       = {Wolfgang Reisig and
                  Grzegorz Rozenberg},
  title        = {Petri Inheritance: The Foundation of Nondeterministic, Concurrent
                  Systems},
  booktitle    = {Carl Adam Petri: Ideas, Personality, Impact},
  pages        = {147--153},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-319-96154-5\_19},
  doi          = {10.1007/978-3-319-96154-5\_19},
  timestamp    = {Tue, 04 Jun 2019 13:10:01 +0200},
  biburl       = {https://dblp.org/rec/books/sp/19/BruniM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BruniGG18,
  author       = {Roberto Bruni and
                  Roberto Giacobazzi and
                  Roberta Gori},
  title        = {Code obfuscation against abstraction refinement attacks},
  journal      = {Formal Aspects Comput.},
  volume       = {30},
  number       = {6},
  pages        = {685--711},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00165-018-0462-6},
  doi          = {10.1007/S00165-018-0462-6},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BruniGG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BaldanBCGMM18,
  author       = {Paolo Baldan and
                  Roberto Bruni and
                  Andrea Corradini and
                  Fabio Gadducci and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  title        = {Event Structures for Petri nets with Persistence},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {14},
  number       = {3},
  year         = {2018},
  url          = {https://doi.org/10.23638/LMCS-14(3:25)2018},
  doi          = {10.23638/LMCS-14(3:25)2018},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BaldanBCGMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BruniMM18,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  editor       = {Anuj Dawar and
                  Erich Gr{\"{a}}del},
  title        = {Concurrency and Probability: Removing Confusion, Compositionally},
  booktitle    = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
                  Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
  pages        = {195--204},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3209108.3209202},
  doi          = {10.1145/3209108.3209202},
  timestamp    = {Wed, 21 Nov 2018 12:44:18 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BruniMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BruniGG18,
  author       = {Roberto Bruni and
                  Roberto Giacobazzi and
                  Roberta Gori},
  editor       = {Isil Dillig and
                  Jens Palsberg},
  title        = {Code Obfuscation Against Abstract Model Checking Attacks},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 19th International
                  Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10747},
  pages        = {94--115},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73721-8\_5},
  doi          = {10.1007/978-3-319-73721-8\_5},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/BruniGG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-03726,
  author       = {Paolo Baldan and
                  Roberto Bruni and
                  Andrea Corradini and
                  Fabio Gadducci and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  title        = {Event Structures for Petri nets with Persistence},
  journal      = {CoRR},
  volume       = {abs/1802.03726},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.03726},
  eprinttype    = {arXiv},
  eprint       = {1802.03726},
  timestamp    = {Sat, 04 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-03726.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-03002,
  author       = {Chiara Bodei and
                  Linda Brodo and
                  Roberto Bruni},
  title        = {A Formal Approach to Open Multiparty Interactions},
  journal      = {CoRR},
  volume       = {abs/1807.03002},
  year         = {2018},
  url          = {http://arxiv.org/abs/1807.03002},
  eprinttype    = {arXiv},
  eprint       = {1807.03002},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-03002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-06305,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  title        = {Unifying Inference for Bayesian and Petri Nets},
  journal      = {CoRR},
  volume       = {abs/1807.06305},
  year         = {2018},
  url          = {http://arxiv.org/abs/1807.06305},
  eprinttype    = {arXiv},
  eprint       = {1807.06305},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-06305.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/txtcs/BruniM17,
  author       = {Roberto Bruni and
                  Ugo Montanari},
  title        = {Models of Computation},
  series       = {Texts in Theoretical Computer Science. An {EATCS} Series},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-42900-7},
  doi          = {10.1007/978-3-319-42900-7},
  isbn         = {978-3-319-42898-7},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/txtcs/BruniM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-04570,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  title        = {Concurrency and Probability: Removing Confusion, Compositionally},
  journal      = {CoRR},
  volume       = {abs/1710.04570},
  year         = {2017},
  url          = {http://arxiv.org/abs/1710.04570},
  eprinttype    = {arXiv},
  eprint       = {1710.04570},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1710-04570.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BruniMS15,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Matteo Sammartino},
  title        = {Revisiting causality, coalgebraically},
  journal      = {Acta Informatica},
  volume       = {52},
  number       = {1},
  pages        = {5--33},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00236-014-0207-9},
  doi          = {10.1007/S00236-014-0207-9},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BruniMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BruniMS15,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Matteo Sammartino},
  title        = {A coalgebraic semantics for causality in Petri nets},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {84},
  number       = {6},
  pages        = {853--883},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jlamp.2015.07.003},
  doi          = {10.1016/J.JLAMP.2015.07.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BruniMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BruniMM15,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  title        = {cJoin: Join with communicating transactions},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {25},
  number       = {3},
  pages        = {566--618},
  year         = {2015},
  url          = {https://doi.org/10.1017/S0960129512000928},
  doi          = {10.1017/S0960129512000928},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/BruniMM15.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}
}
@article{DBLP:journals/scp/BruniLM15,
  author       = {Roberto Bruni and
                  Alberto Lluch{-}Lafuente and
                  Ugo Montanari},
  title        = {Constraint design rewriting},
  journal      = {Sci. Comput. Program.},
  volume       = {97},
  pages        = {23--30},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2013.11.015},
  doi          = {10.1016/J.SCICO.2013.11.015},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BruniLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BruniCGLV15,
  author       = {Roberto Bruni and
                  Andrea Corradini and
                  Fabio Gadducci and
                  Alberto Lluch{-}Lafuente and
                  Andrea Vandin},
  title        = {Modelling and analyzing adaptive self-assembly strategies with Maude},
  journal      = {Sci. Comput. Program.},
  volume       = {99},
  pages        = {75--94},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2013.11.043},
  doi          = {10.1016/J.SCICO.2013.11.043},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BruniCGLV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BruniCGLV15,
  author       = {Roberto Bruni and
                  Andrea Corradini and
                  Fabio Gadducci and
                  Alberto Lluch{-}Lafuente and
                  Andrea Vandin},
  editor       = {Daniel Moldt and
                  Heiko R{\"{o}}lke and
                  Harald St{\"{o}}rrle},
  title        = {Awareness and Control in Adaptable Transition Systems},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering (PNSE'15), including the International Workshop on Petri
                  Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A}
                  satellite event of the conferences: 36th International Conference
                  on Application and Theory of Petri Nets and Concurrency Petri Nets
                  2015 and 15th International Conference on Application of Concurrency
                  to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1372},
  pages        = {19--21},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1372/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/BruniCGLV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruniMS15,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Matteo Sammartino},
  editor       = {Chiara Bodei and
                  Gian{-}Luigi Ferrari and
                  Corrado Priami},
  title        = {Causal Trees, Finally},
  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        = {27--43},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25527-9\_4},
  doi          = {10.1007/978-3-319-25527-9\_4},
  timestamp    = {Fri, 23 Jun 2023 22:30:53 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BruniMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruniMM15,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Peter Csaba {\"{O}}lveczky and
                  Carolyn L. Talcott},
  title        = {A Normal Form for Stateful Connectors},
  booktitle    = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
                  Meseguer on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {9200},
  pages        = {205--227},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23165-5\_9},
  doi          = {10.1007/978-3-319-23165-5\_9},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BruniMM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruniCGLV15,
  author       = {Roberto Bruni and
                  Andrea Corradini and
                  Fabio Gadducci and
                  Alberto Lluch{-}Lafuente and
                  Andrea Vandin},
  editor       = {Rocco De Nicola and
                  Rolf Hennicker},
  title        = {A White Box Perspective on Behavioural Adaptation},
  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        = {552--581},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-15545-6\_32},
  doi          = {10.1007/978-3-319-15545-6\_32},
  timestamp    = {Sat, 04 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BruniCGLV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BruniMS15,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Matteo Sammartino},
  editor       = {Martin Wirsing and
                  Matthias M. H{\"{o}}lzl and
                  Nora Koch and
                  Philip Mayer},
  title        = {Reconfigurable and Software-Defined Networks of Connectors and Components},
  booktitle    = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
                  Approach},
  series       = {Lecture Notes in Computer Science},
  volume       = {8998},
  pages        = {73--106},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16310-9\_2},
  doi          = {10.1007/978-3-319-16310-9\_2},
  timestamp    = {Mon, 26 Oct 2020 08:19:39 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/BruniMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BruniCGHLVW15,
  author       = {Roberto Bruni and
                  Andrea Corradini and
                  Fabio Gadducci and
                  Matthias M. H{\"{o}}lzl and
                  Alberto Lluch{-}Lafuente and
                  Andrea Vandin and
                  Martin Wirsing},
  editor       = {Martin Wirsing and
                  Matthias M. H{\"{o}}lzl and
                  Nora Koch and
                  Philip Mayer},
  title        = {Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation},
  booktitle    = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
                  Approach},
  series       = {Lecture Notes in Computer Science},
  volume       = {8998},
  pages        = {163--184},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16310-9\_4},
  doi          = {10.1007/978-3-319-16310-9\_4},
  timestamp    = {Sat, 04 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/BruniCGHLVW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BruniMS15,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Matteo Sammartino},
  title        = {A coalgebraic semantics for causality in Petri nets},
  journal      = {CoRR},
  volume       = {abs/1507.06462},
  year         = {2015},
  url          = {http://arxiv.org/abs/1507.06462},
  eprinttype    = {arXiv},
  eprint       = {1507.06462},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BruniMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BodeiBBC14,
  author       = {Chiara Bodei and
                  Linda Brodo and
                  Roberto Bruni and
                  Davide Chiarugi},
  title        = {A Flat Process Calculus for Nested Membrane Interactions},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {24},
  number       = {1},
  pages        = {91--136},
  year         = {2014},
  url          = {https://doi.org/10.7561/SACS.2014.1.91},
  doi          = {10.7561/SACS.2014.1.91},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BodeiBBC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BruniMPT14,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Gordon D. Plotkin and
                  Daniele Terreni},
  title        = {On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories
                  and Gs-graphs},
  journal      = {Fundam. Informaticae},
  volume       = {134},
  number       = {3-4},
  pages        = {287--317},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1103},
  doi          = {10.3233/FI-2014-1103},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BruniMPT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhaoB014,
  author       = {Liang Zhao and
                  Roberto Bruni and
                  Zhiming Liu},
  title        = {A sound and complete theory of graph transformations for service programming
                  with sessions and pipelines},
  journal      = {Sci. Comput. Program.},
  volume       = {94},
  pages        = {255--288},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.11.029},
  doi          = {10.1016/J.SCICO.2013.11.029},
  timestamp    = {Wed, 08 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ZhaoB014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruniMM14,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  editor       = {Shusaku Iida and
                  Jos{\'{e}} Meseguer and
                  Kazuhiro Ogata},
  title        = {Behaviour, Interaction and Dynamics},
  booktitle    = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
                  Futatsugi},
  series       = {Lecture Notes in Computer Science},
  volume       = {8373},
  pages        = {382--401},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54624-2\_19},
  doi          = {10.1007/978-3-642-54624-2\_19},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BruniMM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/BruniMM14,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  editor       = {Saddek Bensalem and
                  Yassine Lakhnech and
                  Axel Legay},
  title        = {From Hierarchical {BIP} to Petri Calculus},
  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        = {54--68},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54848-2\_4},
  doi          = {10.1007/978-3-642-54848-2\_4},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/etaps/BruniMM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BruniMMS13,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari and
                  Pawel Sobocinski},
  title        = {Connector algebras for {C/E} and {P/T} nets' interactions},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {9},
  number       = {3},
  year         = {2013},
  url          = {https://doi.org/10.2168/LMCS-9(3:16)2013},
  doi          = {10.2168/LMCS-9(3:16)2013},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BruniMMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tinytocs/BruniCGLV13,
  author       = {Roberto Bruni and
                  Andrea Corradini and
                  Fabio Gadducci and
                  Alberto Lluch{-}Lafuente and
                  Andrea Vandin},
  title        = {Adaptation is a Game},
  journal      = {Tiny Trans. Comput. Sci.},
  volume       = {2},
  year         = {2013},
  url          = {http://tinytocs.org/vol2/papers/tinytocs2-bruni.pdf},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tinytocs/BruniCGLV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BliudzeBCS12,
  author       = {Simon Bliudze and
                  Roberto Bruni and
                  Marco Carbone and
                  Alexandra Silva},
  title        = {Towards Interaction Reliability in Concurrent Applications},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {22},
  number       = {1},
  pages        = {1--4},
  year         = {2012},
  url          = {https://doi.org/10.7561/SACS.2012.1.1},
  doi          = {10.7561/SACS.2012.1.1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BliudzeBCS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BruniFK12,
  author       = {Roberto Bruni and
                  Carla Ferreira and
                  Anne Kersten Kauer},
  editor       = {Marjan Sirjani},
  title        = {First-Order Dynamic Logic for Compensable Processes},
  booktitle    = {Coordination Models and Languages - 14th International Conference,
                  {COORDINATION} 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7274},
  pages        = {104--121},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30829-1\_8},
  doi          = {10.1007/978-3-642-30829-1\_8},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/BruniFK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BruniCGLV12,
  author       = {Roberto Bruni and
                  Andrea Corradini and
                  Fabio Gadducci and
                  Alberto Lluch{-}Lafuente and
                  Andrea Vandin},
  editor       = {Juan de Lara and
                  Andrea Zisman},
  title        = {A Conceptual Framework for Adaptation},
  booktitle    = {Fundamental Approaches to Software Engineering - 15th International
                  Conference, {FASE} 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       = {7212},
  pages        = {240--254},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28872-2\_17},
  doi          = {10.1007/978-3-642-28872-2\_17},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/BruniCGLV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BruniK12,
  author       = {Roberto Bruni and
                  Anne Kersten Kauer},
  editor       = {Catuscia Palamidessi and
                  Mark Dermot Ryan},
  title        = {{LTS} Semantics for Compensation-Based Processes},
  booktitle    = {Trustworthy Global Computing - 7th International Symposium, {TGC}
                  2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8191},
  pages        = {112--128},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-41157-1\_8},
  doi          = {10.1007/978-3-642-41157-1\_8},
  timestamp    = {Wed, 07 Dec 2022 23:14:04 +0100},
  biburl       = {https://dblp.org/rec/conf/tgc/BruniK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BodeiBB12,
  author       = {Chiara Bodei and
                  Linda Brodo and
                  Roberto Bruni},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Miguel Palomino},
  title        = {Open Multiparty Interaction},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 21st International
                  Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7841},
  pages        = {1--23},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-37635-1\_1},
  doi          = {10.1007/978-3-642-37635-1\_1},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BodeiBB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BruniCGLV12,
  author       = {Roberto Bruni and
                  Andrea Corradini and
                  Fabio Gadducci and
                  Alberto Lluch{-}Lafuente and
                  Andrea Vandin},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Miguel Palomino},
  title        = {Adaptable Transition Systems},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 21st International
                  Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7841},
  pages        = {95--110},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-37635-1\_6},
  doi          = {10.1007/978-3-642-37635-1\_6},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BruniCGLV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BruniCGLV12,
  author       = {Roberto Bruni and
                  Andrea Corradini and
                  Fabio Gadducci and
                  Alberto Lluch{-}Lafuente and
                  Andrea Vandin},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Modelling and Analyzing Adaptive Self-assembly Strategies with Maude},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {118--138},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_7},
  doi          = {10.1007/978-3-642-34005-5\_7},
  timestamp    = {Mon, 28 Jun 2021 11:09:20 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BruniCGLV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2011,
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {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},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30065-3},
  doi          = {10.1007/978-3-642-30065-3},
  isbn         = {978-3-642-30064-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/MokhtarBBST11,
  author       = {Sonia Ben Mokhtar and
                  Simon Bliudze and
                  Roberto Bruni and
                  Alexandra Silva and
                  Angelo Troina},
  title        = {Concurrency and Interaction in Complex Systems},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {21},
  number       = {1},
  pages        = {1--4},
  year         = {2011},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI1\&\#38;a=6},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/MokhtarBBST11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/BruniLM11,
  author       = {Roberto Bruni and
                  Alberto Lluch{-}Lafuente and
                  Ugo Montanari},
  title        = {On Structured Model-Driven Transformations},
  journal      = {Int. J. Softw. Informatics},
  volume       = {5},
  number       = {1-2},
  pages        = {185--206},
  year         = {2011},
  url          = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i89},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijsi/BruniLM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BruniMM11,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  editor       = {Joost{-}Pieter Katoen and
                  Barbara K{\"{o}}nig},
  title        = {A Connector Algebra for {P/T} Nets Interactions},
  booktitle    = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
                  {CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6901},
  pages        = {312--326},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23217-6\_21},
  doi          = {10.1007/978-3-642-23217-6\_21},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BruniMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/BruniMM11,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  editor       = {Edmund M. Clarke and
                  Irina B. Virbitskaite and
                  Andrei Voronkov},
  title        = {Connector Algebras, Petri Nets, and {BIP}},
  booktitle    = {Perspectives of Systems Informatics - 8th International Andrei Ershov
                  Memorial Conference, {PSI} 2011, Novosibirsk, Russia, June 27-July
                  1, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7162},
  pages        = {19--38},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29709-0\_2},
  doi          = {10.1007/978-3-642-29709-0\_2},
  timestamp    = {Mon, 16 Dec 2019 13:26:25 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/BruniMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BruniL11,
  author       = {Roberto Bruni and
                  Alberto Lluch{-}Lafuente},
  editor       = {Farhad Arbab and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Evaluating the Performance of Model Transformation Styles in Maude},
  booktitle    = {Formal Aspects of Component Software - 8th International Symposium,
                  {FACS} 2011, Oslo, Norway, September 14-16, 2011, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7253},
  pages        = {79--96},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-35743-5\_6},
  doi          = {10.1007/978-3-642-35743-5\_6},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/facs2/BruniL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BruniMM11,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Frank S. de Boer and
                  Marcello M. Bonsangue},
  title        = {A Survey on Basic Connectors and Buffers},
  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        = {49--68},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-35887-6\_3},
  doi          = {10.1007/978-3-642-35887-6\_3},
  timestamp    = {Mon, 26 Jun 2023 20:47:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/BruniMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BruniCFFGS11,
  author       = {Roberto Bruni and
                  Andrea Corradini and
                  Gian{-}Luigi Ferrari and
                  Tito Flagella and
                  Roberto Guanciale and
                  Giorgio Spagnolo},
  editor       = {Marco Carbone and
                  Jean{-}Marc Petit},
  title        = {Applying Process Analysis to the Italian eGovernment Enterprise Architecture},
  booktitle    = {Web Services and Formal Methods - 8th International Workshop, {WS-FM}
                  2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7176},
  pages        = {111--127},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29834-9\_9},
  doi          = {10.1007/978-3-642-29834-9\_9},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/BruniCFFGS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/BruniFLMT11,
  author       = {Roberto Bruni and
                  Howard Foster and
                  Alberto Lluch{-}Lafuente and
                  Ugo Montanari and
                  Emilio Tuosto},
  editor       = {Martin Wirsing and
                  Matthias M. H{\"{o}}lzl},
  title        = {A Formal Support to Business and Architectural Design for Service-Oriented
                  Systems},
  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        = {133--152},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20401-2\_7},
  doi          = {10.1007/978-3-642-20401-2\_7},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/books/sp/sensoria2011/BruniFLMT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/AcciaiBBBV11,
  author       = {Lucia Acciai and
                  Chiara Bodei and
                  Michele Boreale and
                  Roberto Bruni and
                  Hugo Torres Vieira},
  editor       = {Martin Wirsing and
                  Matthias M. H{\"{o}}lzl},
  title        = {Static Analysis Techniques for Session-Oriented Calculi},
  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        = {214--231},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20401-2\_10},
  doi          = {10.1007/978-3-642-20401-2\_10},
  timestamp    = {Mon, 29 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/sensoria2011/AcciaiBBBV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/BruniCGLM11,
  author       = {Roberto Bruni and
                  Andrea Corradini and
                  Fabio Gadducci and
                  Alberto Lluch{-}Lafuente and
                  Ugo Montanari},
  editor       = {Martin Wirsing and
                  Matthias M. H{\"{o}}lzl},
  title        = {Hierarchical Models for Service-Oriented Systems},
  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        = {349--368},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20401-2\_16},
  doi          = {10.1007/978-3-642-20401-2\_16},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/sensoria2011/BruniCGLM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2011,
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {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},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5},
  doi          = {10.1007/978-3-642-21461-5},
  isbn         = {978-3-642-21460-8},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1108-0144,
  editor       = {Alexandra Silva and
                  Simon Bliudze and
                  Roberto Bruni and
                  Marco Carbone},
  title        = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
                  Reykjavik, Iceland, 9th June 2011},
  series       = {{EPTCS}},
  volume       = {59},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.59},
  doi          = {10.4204/EPTCS.59},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0144.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BruniGL10,
  author       = {Roberto Bruni and
                  Fabio Gadducci and
                  Alberto Lluch{-}Lafuente},
  title        = {An Algebra of Hierarchical Graphs and its Application to Structural
                  Encoding},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {20},
  pages        = {53--96},
  year         = {2010},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XX\&\#38;a=2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BruniGL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BruniCM10,
  author       = {Roberto Bruni and
                  Andrea Corradini and
                  Ugo Montanari},
  title        = {Modeling a Service and Session Calculus with Hierarchical Graph Transformation},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {30},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.30.427},
  doi          = {10.14279/TUJ.ECEASST.30.427},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BruniCM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruniCGLM10,
  author       = {Roberto Bruni and
                  Andrea Corradini and
                  Fabio Gadducci and
                  Alberto Lluch{-}Lafuente and
                  Ugo Montanari},
  editor       = {Gregor Engels and
                  Claus Lewerentz and
                  Wilhelm Sch{\"{a}}fer and
                  Andy Sch{\"{u}}rr and
                  Bernhard Westfechtel},
  title        = {On GS-Monoidal Theories for Graphs with Nesting},
  booktitle    = {Graph Transformations and Model-Driven Engineering - Essays Dedicated
                  to Manfred Nagl on the Occasion of his 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5765},
  pages        = {59--86},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17322-6\_4},
  doi          = {10.1007/978-3-642-17322-6\_4},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BruniCGLM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BruniLZ10,
  author       = {Roberto Bruni and
                  Zhiming Liu and
                  Liang Zhao},
  editor       = {Lu{\'{\i}}s Soares Barbosa and
                  Markus Lumpe},
  title        = {Graph Representation of Sessions and Pipelines for Structured Service
                  Programming},
  booktitle    = {Formal Aspects of Component Software - 7th International Workshop,
                  {FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6921},
  pages        = {259--276},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-27269-1\_15},
  doi          = {10.1007/978-3-642-27269-1\_15},
  timestamp    = {Mon, 04 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/BruniLZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BoronatBLMP10,
  author       = {Artur Boronat and
                  Roberto Bruni and
                  Alberto Lluch{-}Lafuente and
                  Ugo Montanari and
                  Generoso Paolillo},
  editor       = {John Hatcliff and
                  Elena Zucca},
  title        = {Exploiting the Hierarchical Structure of Rule-Based Specifications
                  for Decision Planning},
  booktitle    = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
                  International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
                  June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6117},
  pages        = {2--16},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13464-7\_2},
  doi          = {10.1007/978-3-642-13464-7\_2},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BoronatBLMP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BruniGL10,
  author       = {Roberto Bruni and
                  Fabio Gadducci and
                  Alberto Lluch{-}Lafuente},
  editor       = {Martin Wirsing and
                  Martin Hofmann and
                  Axel Rauschmayer},
  title        = {An Algebra of Hierarchical Graphs},
  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        = {205--221},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15640-3\_14},
  doi          = {10.1007/978-3-642-15640-3\_14},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/BruniGL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BruniKLS10,
  author       = {Roberto Bruni and
                  Anne Kersten and
                  Ivan Lanese and
                  Giorgio Spagnolo},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {A New Strategy for Distributed Compensations with Interruption in
                  Long-Running Transactions},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {42--60},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_5},
  doi          = {10.1007/978-3-642-28412-0\_5},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BruniKLS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1010-5308,
  editor       = {Simon Bliudze and
                  Roberto Bruni and
                  Davide Grohmann and
                  Alexandra Silva},
  title        = {Proceedings Third Interaction and Concurrency Experience: Guaranteed
                  Interaction, {ICE} 2010, Amsterdam, The Netherlands, 10th of June
                  2010},
  series       = {{EPTCS}},
  volume       = {38},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.38},
  doi          = {10.4204/EPTCS.38},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-5308.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BruniL09,
  author       = {Roberto Bruni and
                  Alberto Lluch{-}Lafuente},
  title        = {Ten virtues of structured graphs},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {18},
  year         = {2009},
  url          = {https://doi.org/10.14279/tuj.eceasst.18.261},
  doi          = {10.14279/TUJ.ECEASST.18.261},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eceasst/BruniL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BruniHKLMMSW09,
  author       = {Roberto Bruni and
                  Matthias M. H{\"{o}}lzl and
                  Nora Koch and
                  Alberto Lluch{-}Lafuente and
                  Philip Mayer and
                  Ugo Montanari and
                  Andreas Schroeder and
                  Martin Wirsing},
  editor       = {Luciano Baresi and
                  Chi{-}Hung Chi and
                  Jun Suzuki},
  title        = {A Service-Oriented {UML} Profile with Formal Support},
  booktitle    = {Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave
                  2009, Stockholm, Sweden, November 24-27, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5900},
  pages        = {455--469},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10383-4\_34},
  doi          = {10.1007/978-3-642-10383-4\_34},
  timestamp    = {Wed, 08 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoc/BruniHKLMMSW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BodeiBB09,
  author       = {Chiara Bodei and
                  Linda Brodo and
                  Roberto Bruni},
  editor       = {Pierpaolo Degano and
                  Luca Vigan{\`{o}}},
  title        = {Static Detection of Logic Flaws in Service-Oriented Applications},
  booktitle    = {Foundations and Applications of Security Analysis, Joint Workshop
                  on Automated Reasoning for Security Protocol Analysis and Issues in
                  the Theory of Security, {ARSPA-WITS} 2009, York, UK, March 28-29,
                  2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5511},
  pages        = {70--87},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03459-6\_5},
  doi          = {10.1007/978-3-642-03459-6\_5},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip1-7/BodeiBB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Bruni09,
  author       = {Roberto Bruni},
  editor       = {Marco Bernardo and
                  Luca Padovani and
                  Gianluigi Zavattaro},
  title        = {Calculi for Service-Oriented Computing},
  booktitle    = {Formal Methods for Web Services, 9th International School on Formal
                  Methods for the Design of Computer, Communication, and Software Systems,
                  {SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {5569},
  pages        = {1--41},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01918-0\_1},
  doi          = {10.1007/978-3-642-01918-0\_1},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/Bruni09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BruniGL09,
  author       = {Roberto Bruni and
                  Fabio Gadducci and
                  Alberto Lluch{-}Lafuente},
  editor       = {Cosimo Laneve and
                  Jianwen Su},
  title        = {A Graph Syntax for Processes and Services},
  booktitle    = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
                  2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6194},
  pages        = {46--60},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-14458-5\_3},
  doi          = {10.1007/978-3-642-14458-5\_3},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/BruniGL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2008,
  editor       = {Roberto Bruni and
                  Karsten Wolf},
  title        = {Web Services and Formal Methods, 5th International Workshop, {WS-FM}
                  2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5387},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01364-5},
  doi          = {10.1007/978-3-642-01364-5},
  isbn         = {978-3-642-01363-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BruniLM08,
  author       = {Roberto Bruni and
                  Alberto Lluch{-}Lafuente and
                  Ugo Montanari},
  title        = {Style-Based Architectural Reconfigurations},
  journal      = {Bull. {EATCS}},
  volume       = {94},
  pages        = {161--180},
  year         = {2008},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/BruniLM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BruniL08,
  author       = {Roberto Bruni and
                  Ivan Lanese},
  title        = {Parametric synchronizations in mobile nominal calculi},
  journal      = {Theor. Comput. Sci.},
  volume       = {402},
  number       = {2-3},
  pages        = {102--119},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2008.04.029},
  doi          = {10.1016/J.TCS.2008.04.029},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BruniL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BruniM08,
  author       = {Roberto Bruni and
                  Leonardo Gaetano Mezzina},
  editor       = {Jos{\'{e}} Meseguer and
                  Grigore Rosu},
  title        = {Types and Deadlock Freedom in a Calculus of Services, Sessions and
                  Pipelines},
  booktitle    = {Algebraic Methodology and Software Technology, 12th International
                  Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5140},
  pages        = {100--115},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-79980-1\_8},
  doi          = {10.1007/978-3-540-79980-1\_8},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/BruniM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruniBGHL08,
  author       = {Roberto Bruni and
                  Antonio Bucchiarone and
                  Stefania Gnesi and
                  Dan Hirsch and
                  Alberto Lluch{-}Lafuente},
  editor       = {Pierpaolo Degano and
                  Rocco De Nicola and
                  Jos{\'{e}} Meseguer},
  title        = {Graph-Based Design and Analysis of Dynamic Software Architectures},
  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        = {37--56},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68679-8\_4},
  doi          = {10.1007/978-3-540-68679-8\_4},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BruniBGHL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruniS08,
  author       = {Roberto Bruni and
                  Vladimiro Sassone},
  editor       = {Pierpaolo Degano and
                  Rocco De Nicola and
                  Jos{\'{e}} Meseguer},
  title        = {Models of Computation: {A} Tribute to Ugo Montanari's Vision},
  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        = {503--509},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68679-8\_31},
  doi          = {10.1007/978-3-540-68679-8\_31},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BruniS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BruniLMT08,
  author       = {Roberto Bruni and
                  Ivan Lanese and
                  Hern{\'{a}}n C. Melgratti and
                  Emilio Tuosto},
  editor       = {Doug Lea and
                  Gianluigi Zavattaro},
  title        = {Multiparty Sessions in {SOC}},
  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        = {67--82},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68265-3\_5},
  doi          = {10.1007/978-3-540-68265-3\_5},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/BruniLMT08.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:conf/wadt/ArbabBCLM08,
  author       = {Farhad Arbab and
                  Roberto Bruni and
                  Dave Clarke and
                  Ivan Lanese and
                  Ugo Montanari},
  editor       = {Andrea Corradini and
                  Ugo Montanari},
  title        = {Tiles for Reo},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 19th International
                  Workshop, {WADT} 2008, Pisa, Italy, June 13-16, 2008, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5486},
  pages        = {37--55},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03429-9\_4},
  doi          = {10.1007/978-3-642-03429-9\_4},
  timestamp    = {Sat, 04 Apr 2020 17:15:23 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/ArbabBCLM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BraccialiBL09,
  author       = {Andrea Bracciali and
                  Roberto Bruni and
                  Alberto Lluch{-}Lafuente},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Angelo Troina and
                  Emilio Tuosto},
  title        = {On Symbolic Semantics for Name-decorated Contexts},
  booktitle    = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
                  ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {3},
  pages        = {37--58},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.038},
  doi          = {10.1016/J.ENTCS.2009.06.038},
  timestamp    = {Fri, 24 Feb 2023 11:41:24 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BraccialiBL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniLM09,
  author       = {Roberto Bruni and
                  Alberto Lluch{-}Lafuente and
                  Ugo Montanari},
  editor       = {Grigore Rosu},
  title        = {Hierarchical Design Rewriting with Maude},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {45--62},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.012},
  doi          = {10.1016/J.ENTCS.2009.05.012},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniLM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gtvmt/2006,
  editor       = {Roberto Bruni and
                  D{\'{a}}niel Varr{\'{o}}},
  title        = {Proceedings of the Fifth International Workshop on Graph Transformation
                  and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
                  April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {211},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/211/suppl/C},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gtvmt/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaldanBB07,
  author       = {Paolo Baldan and
                  Andrea Bracciali and
                  Roberto Bruni},
  title        = {A semantic framework for open processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {389},
  number       = {3},
  pages        = {446--483},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.09.004},
  doi          = {10.1016/J.TCS.2007.09.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BaldanBB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/BaldanBBB07,
  author       = {Paolo Baldan and
                  Andrea Bracciali and
                  Linda Brodo and
                  Roberto Bruni},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Deducing Interactions in Partially Unspecified Biological Systems},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {262--276},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_19},
  doi          = {10.1007/978-3-540-73433-8\_19},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/BaldanBBB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BruniLMT07,
  author       = {Roberto Bruni and
                  Alberto Lluch{-}Lafuente and
                  Ugo Montanari and
                  Emilio Tuosto},
  editor       = {Gilles Barthe and
                  C{\'{e}}dric Fournet},
  title        = {Service Oriented Architectural Design},
  booktitle    = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis,
                  France, November 5-6, 2007, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4912},
  pages        = {186--203},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-78663-4\_14},
  doi          = {10.1007/978-3-540-78663-4\_14},
  timestamp    = {Sat, 19 Oct 2019 20:09:31 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/BruniLMT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniBGM08,
  author       = {Roberto Bruni and
                  Antonio Bucchiarone and
                  Stefania Gnesi and
                  Hern{\'{a}}n C. Melgratti},
  editor       = {Barbara K{\"{o}}nig and
                  Arend Rensink and
                  Reiko Heckel},
  title        = {Modelling Dynamic Software Architectures using Typed Graph Grammars},
  booktitle    = {Proceedings of the Third Workshop on Graph Transformation for Concurrency
                  and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3,
                  2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {213},
  number       = {1},
  pages        = {39--53},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.073},
  doi          = {10.1016/J.ENTCS.2008.04.073},
  timestamp    = {Fri, 17 Feb 2023 09:59:54 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniBGM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2006,
  editor       = {Ugo Montanari and
                  Donald Sannella and
                  Roberto Bruni},
  title        = {Trustworthy Global Computing, Second Symposium, {TGC} 2006, Lucca,
                  Italy, November 7-9, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4661},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75336-0},
  doi          = {10.1007/978-3-540-75336-0},
  isbn         = {978-3-540-75333-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BruniMM06,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  title        = {Event Structure Semantics for Dynamic Graph Grammars},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {2},
  year         = {2006},
  url          = {https://doi.org/10.14279/tuj.eceasst.2.57},
  doi          = {10.14279/TUJ.ECEASST.2.57},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BruniMM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BruniM06,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer},
  title        = {Semantic foundations for generalized rewrite theories},
  journal      = {Theor. Comput. Sci.},
  volume       = {360},
  number       = {1-3},
  pages        = {386--414},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2006.04.012},
  doi          = {10.1016/J.TCS.2006.04.012},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BruniM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BruniLM06,
  author       = {Roberto Bruni and
                  Ivan Lanese and
                  Ugo Montanari},
  title        = {A basic algebra of stateless connectors},
  journal      = {Theor. Comput. Sci.},
  volume       = {366},
  number       = {1-2},
  pages        = {98--120},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2006.07.005},
  doi          = {10.1016/J.TCS.2006.07.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BruniLM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BruniM06,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti},
  editor       = {Susanna Donatelli and
                  P. S. Thiagarajan},
  title        = {Non-sequential Behaviour of Dynamic Nets},
  booktitle    = {Petri Nets and Other Models of Concurrency - {ICATPN} 2006, 27th International
                  Conference on Applications and Theory of Petri Nets and Other Models
                  of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4024},
  pages        = {105--124},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767589\_7},
  doi          = {10.1007/11767589\_7},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BruniM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BruniMM06,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  editor       = {Christel Baier and
                  Holger Hermanns},
  title        = {Event Structure Semantics for Nominal Calculi},
  booktitle    = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
                  {CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4137},
  pages        = {295--309},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11817949\_20},
  doi          = {10.1007/11817949\_20},
  timestamp    = {Sat, 30 Sep 2023 09:37:42 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BruniMM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BruniM06,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti},
  editor       = {Andrea Corradini and
                  Hartmut Ehrig and
                  Ugo Montanari and
                  Leila Ribeiro and
                  Grzegorz Rozenberg},
  title        = {Dynamic Graph Transformation Systems},
  booktitle    = {Graph Transformations, Third International Conference, {ICGT} 2006,
                  Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4178},
  pages        = {230--244},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11841883\_17},
  doi          = {10.1007/11841883\_17},
  timestamp    = {Sat, 04 Apr 2020 17:15:23 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/BruniM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BruniL06,
  author       = {Roberto Bruni and
                  Ivan Lanese},
  editor       = {Ugo Montanari and
                  Donald Sannella and
                  Roberto Bruni},
  title        = {{PRISMA:} {A} Mobile Calculus with Parametric Synchronization},
  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        = {132--149},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-75336-0\_9},
  doi          = {10.1007/978-3-540-75336-0\_9},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/BruniL06.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:conf/wsfm/BruniMT06,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Emilio Tuosto},
  editor       = {Mario Bravetti and
                  Manuel N{\'{u}}{\~{n}}ez and
                  Gianluigi Zavattaro},
  title        = {Translating Orc Features into Petri Nets and the Join 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        = {123--137},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11841197\_8},
  doi          = {10.1007/11841197\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/BruniMT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniV08,
  author       = {Roberto Bruni and
                  D{\'{a}}niel Varr{\'{o}}},
  editor       = {Roberto Bruni and
                  D{\'{a}}niel Varr{\'{o}}},
  title        = {Preface},
  booktitle    = {Proceedings of the Fifth International Workshop on Graph Transformation
                  and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
                  April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {211},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.024},
  doi          = {10.1016/J.ENTCS.2008.04.024},
  timestamp    = {Fri, 17 Feb 2023 09:34:01 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BruniMS05,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Vladimiro Sassone},
  title        = {Observational congruences for dynamically reconfigurable tile systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {2-3},
  pages        = {331--372},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.10.044},
  doi          = {10.1016/J.TCS.2004.10.044},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BruniMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BruniLM05,
  author       = {Roberto Bruni and
                  Ivan Lanese and
                  Ugo Montanari},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Neil Harman and
                  Markus Roggenbach and
                  Jan J. M. M. Rutten},
  title        = {Complete Axioms for Stateless Connectors},
  booktitle    = {Algebra and Coalgebra in Computer Science: First International Conference,
                  {CALCO} 2005, Swansea, UK, September 3-6, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3629},
  pages        = {98--113},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11548133\_7},
  doi          = {10.1007/11548133\_7},
  timestamp    = {Wed, 19 May 2021 08:32:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/BruniLM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BruniGMS05,
  author       = {Roberto Bruni and
                  Fabio Gadducci and
                  Ugo Montanari and
                  Pawel Sobocinski},
  editor       = {Mart{\'{\i}}n Abadi and
                  Luca de Alfaro},
  title        = {Deriving Weak Bisimulation Congruences from Reduction Systems},
  booktitle    = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
                  {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3653},
  pages        = {293--307},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11539452\_24},
  doi          = {10.1007/11539452\_24},
  timestamp    = {Tue, 21 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BruniGMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BruniBFHMM05,
  author       = {Roberto Bruni and
                  Michael J. Butler and
                  Carla Ferreira and
                  C. A. R. Hoare and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  editor       = {Mart{\'{\i}}n Abadi and
                  Luca de Alfaro},
  title        = {Comparing Two Approaches to Compensable Flow Composition},
  booktitle    = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
                  {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3653},
  pages        = {383--397},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11539452\_30},
  doi          = {10.1007/11539452\_30},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/BruniBFHMM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/BruniFMMST05,
  author       = {Roberto Bruni and
                  Gian{-}Luigi Ferrari and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari and
                  Daniele Strollo and
                  Emilio Tuosto},
  editor       = {Mario Bravetti and
                  Le{\"{\i}}la Kloul and
                  Gianluigi Zavattaro},
  title        = {From Theory to Practice in Transactional Composition of Web Services},
  booktitle    = {Formal Techniques for Computer Systems and Business Processes, European
                  Performance Engineering Workshop, {EPEW} 2005 and International Workshop
                  on Web Services and Formal Methods, {WS-FM} 2005, Versailles, France,
                  September 1-3, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3670},
  pages        = {272--286},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549970\_20},
  doi          = {10.1007/11549970\_20},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/BruniFMMST05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BruniMM05,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  editor       = {Jens Palsberg and
                  Mart{\'{\i}}n Abadi},
  title        = {Theoretical foundations for compensations in flow composition languages},
  booktitle    = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2005, Long Beach, California, USA,
                  January 12-14, 2005},
  pages        = {209--220},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1040305.1040323},
  doi          = {10.1145/1040305.1040323},
  timestamp    = {Sat, 31 Jul 2021 17:22:14 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/BruniMM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BruniM04,
  author       = {Roberto Bruni and
                  Ugo Montanari},
  title        = {Concurrent models for Linda with transactions},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {14},
  number       = {3},
  pages        = {421--468},
  year         = {2004},
  url          = {https://doi.org/10.1017/S0960129504004189},
  doi          = {10.1017/S0960129504004189},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/BruniM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/BaldanBB04,
  author       = {Paolo Baldan and
                  Andrea Bracciali and
                  Roberto Bruni},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {Symbolic Equivalences for Open Systems},
  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        = {1--17},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_1},
  doi          = {10.1007/978-3-540-31794-4\_1},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/BaldanBB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BruniFLLM04,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Luiz Fiadeiro and
                  Ivan Lanese and
                  Ant{\'{o}}nia Lopes and
                  Ugo Montanari},
  editor       = {Jean{-}Jacques L{\'{e}}vy and
                  Ernst W. Mayr and
                  John C. Mitchell},
  title        = {New Insights on Architectural Connectors},
  booktitle    = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
                  Computer Congress, {TC1} 3rd International Conference on Theoretical
                  Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
  series       = {{IFIP}},
  volume       = {155},
  pages        = {367--380},
  publisher    = {Kluwer/Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/1-4020-8141-3\_29},
  doi          = {10.1007/1-4020-8141-3\_29},
  timestamp    = {Fri, 27 Sep 2019 10:35:17 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/BruniFLLM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BruniMM04,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  editor       = {Jean{-}Jacques L{\'{e}}vy and
                  Ernst W. Mayr and
                  John C. Mitchell},
  title        = {Nested Commits for Mobile Calculi: Extending Join},
  booktitle    = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
                  Computer Congress, {TC1} 3rd International Conference on Theoretical
                  Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
  series       = {{IFIP}},
  volume       = {155},
  pages        = {563--576},
  publisher    = {Kluwer/Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/1-4020-8141-3\_43},
  doi          = {10.1007/1-4020-8141-3\_43},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/BruniMM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaragattiBMMS07,
  author       = {Alberto Baragatti and
                  Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari and
                  Giorgio Spagnolo},
  editor       = {Antonio Brogi and
                  Jean{-}Marie Jacquet and
                  Ernesto Pimentel},
  title        = {Prototype Platforms for Distributed Agreements},
  booktitle    = {Proceedings of the Third International Workshop on Foundations of
                  Coordination Languages and Software Architectures, {FOCLASA} 2004,
                  London, UK, August 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {180},
  number       = {2},
  pages        = {21--40},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.044},
  doi          = {10.1016/J.ENTCS.2006.10.044},
  timestamp    = {Tue, 06 Dec 2022 11:39:55 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaragattiBMMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniHLM04,
  author       = {Roberto Bruni and
                  Furio Honsell and
                  Marina Lenisa and
                  Marino Miculan},
  editor       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius},
  title        = {Modeling Fresh Names in the ?-calculus Using Abstractions},
  booktitle    = {Proceedings of the Workshop on Coalgebraic Methods in Computer Science,
                  {CMCS} 2004, Barcelona, Spain, March 27-29, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {106},
  pages        = {25--41},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.02.039},
  doi          = {10.1016/J.ENTCS.2004.02.039},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniHLM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BruniL04,
  author       = {Roberto Bruni and
                  Ivan Lanese},
  editor       = {Barbara K{\"{o}}nig and
                  Ugo Montanari and
                  Philippa Gardner},
  title        = {Summary 3: On Graph(ic) Encodings},
  booktitle    = {Graph Transformations and Process Algebras for Modeling Distributed
                  and Mobile Systems, 6.-11. June 2004},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {04241},
  publisher    = {IBFI, Schloss Dagstuhl, Germany},
  year         = {2004},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2005/30},
  timestamp    = {Thu, 10 Jun 2021 13:02:09 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BruniL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BruniMM03,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  editor       = {J{\"{o}}rg Desel and
                  Wolfgang Reisig and
                  Grzegorz Rozenberg},
  title        = {Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic
                  Nets},
  booktitle    = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This
                  tutorial volume originates from the 4th Advanced Course on Petri Nets,
                  {ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003.
                  In addition to lectures given at {ACPN} 2003, additional chapters
                  have been commissioned]},
  series       = {Lecture Notes in Computer Science},
  volume       = {3098},
  pages        = {291--327},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-27755-2\_7},
  doi          = {10.1007/978-3-540-27755-2\_7},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/BruniMM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BruniM03,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer},
  editor       = {Jos C. M. Baeten and
                  Jan Karel Lenstra and
                  Joachim Parrow and
                  Gerhard J. Woeginger},
  title        = {Generalized Rewrite Theories},
  booktitle    = {Automata, Languages and Programming, 30th International Colloquium,
                  {ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2719},
  pages        = {252--266},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-45061-0\_22},
  doi          = {10.1007/3-540-45061-0\_22},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BruniM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BruniMMS03,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari and
                  Vladimiro Sassone},
  editor       = {Carlo Blundo and
                  Cosimo Laneve},
  title        = {Algebraic Theories for Contextual Pre-nets},
  booktitle    = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
                  Bertinoro, Italy, October 13-15, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2841},
  pages        = {256--270},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45208-9\_21},
  doi          = {10.1007/978-3-540-45208-9\_21},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/BruniMMS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniMM04,
  author       = {Roberto Bruni and
                  Hern{\'{a}}n C. Melgratti and
                  Ugo Montanari},
  editor       = {Furio Honsell and
                  Marina Lenisa and
                  Marino Miculan},
  title        = {Flat Committed Join in Join},
  booktitle    = {Proceedings of the Workshop of the {COMETA} Project on Computational
                  Metamodels, {COMETA} 2003, Udine, Italy, December 15-17, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {104},
  pages        = {39--59},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.09.021},
  doi          = {10.1016/J.ENTCS.2004.09.021},
  timestamp    = {Fri, 09 Dec 2022 11:43:33 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniMM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BruniMM02,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari},
  title        = {Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework
                  for Tile Logic},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {12},
  number       = {1},
  pages        = {53--90},
  year         = {2002},
  url          = {https://doi.org/10.1017/S0960129501003462},
  doi          = {10.1017/S0960129501003462},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/BruniMM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BruniM02,
  author       = {Roberto Bruni and
                  Ugo Montanari},
  title        = {Dynamic connectors for concurrency},
  journal      = {Theor. Comput. Sci.},
  volume       = {281},
  number       = {1-2},
  pages        = {131--176},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(02)00011-7},
  doi          = {10.1016/S0304-3975(02)00011-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BruniM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BruniGM02,
  author       = {Roberto Bruni and
                  Fabio Gadducci and
                  Ugo Montanari},
  title        = {Normal forms for algebras of connection},
  journal      = {Theor. Comput. Sci.},
  volume       = {286},
  number       = {2},
  pages        = {247--292},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00318-8},
  doi          = {10.1016/S0304-3975(01)00318-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BruniGM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BaldanBB02,
  author       = {Paolo Baldan and
                  Andrea Bracciali and
                  Roberto Bruni},
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Christophe Ringeissen},
  title        = {Bisimulation by Unification},
  booktitle    = {Algebraic Methodology and Software Technology, 9th International Conference,
                  {AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
                  9-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2422},
  pages        = {254--270},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45719-4\_18},
  doi          = {10.1007/3-540-45719-4\_18},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/BaldanBB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BruniLM02,
  author       = {Roberto Bruni and
                  Cosimo Laneve and
                  Ugo Montanari},
  editor       = {Lubos Brim and
                  Petr Jancar and
                  Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {Orchestrating Transactions in Join Calculus},
  booktitle    = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
                  Brno, Czech Republic, August 20-23, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2421},
  pages        = {321--337},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45694-5\_22},
  doi          = {10.1007/3-540-45694-5\_22},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BruniLM02.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}
}
@inproceedings{DBLP:conf/wadt/BaldanBM02,
  author       = {Paolo Baldan and
                  Roberto Bruni and
                  Ugo Montanari},
  editor       = {Martin Wirsing and
                  Dirk Pattinson and
                  Rolf Hennicker},
  title        = {Pre-nets, Read Arcs and Unfolding: {A} Functorial Presentation},
  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        = {145--164},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/978-3-540-40020-2\_8},
  doi          = {10.1007/978-3-540-40020-2\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BaldanBM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniMM02,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Tiling Transactions in Rewriting Logic},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {90--109},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82530-7},
  doi          = {10.1016/S1571-0661(05)82530-7},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniMM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BruniMMS01,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari and
                  Vladimiro Sassone},
  title        = {Functorial Models for Petri Nets},
  journal      = {Inf. Comput.},
  volume       = {170},
  number       = {2},
  pages        = {207--236},
  year         = {2001},
  url          = {https://doi.org/10.1006/inco.2001.3050},
  doi          = {10.1006/INCO.2001.3050},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/BruniMMS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BruniMR01,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Francesca Rossi},
  title        = {An interactive semantics of logic programming},
  journal      = {Theory Pract. Log. Program.},
  volume       = {1},
  number       = {6},
  pages        = {647--690},
  year         = {2001},
  url          = {https://doi.org/10.1017/S1471068401000035},
  doi          = {10.1017/S1471068401000035},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/BruniMR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BruniM01,
  author       = {Roberto Bruni and
                  Ugo Montanari},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Transactions and Zero-Safe Nets},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {380--426},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_12},
  doi          = {10.1007/3-540-45541-8\_12},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BruniM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BruniS01,
  author       = {Roberto Bruni and
                  Vladimiro Sassone},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Two Algebraic Process Semantics for Contextual Nets},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {427--456},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_13},
  doi          = {10.1007/3-540-45541-8\_13},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BruniS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniM01,
  author       = {Roberto Bruni and
                  Ugo Montanari},
  editor       = {Ugo Montanari and
                  Vladimiro Sassone},
  title        = {Zero-safe net models for transactions in Linda},
  booktitle    = {International Workshop on Concurrency and Coordination, ConCoord 2001,
                  associated to the 13th Lipari School, Lipari Island, Italy, July 6-8,
                  2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {54},
  pages        = {106--116},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00239-7},
  doi          = {10.1016/S1571-0661(04)00239-7},
  timestamp    = {Wed, 30 Nov 2022 11:59:11 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniHLM01,
  author       = {Roberto Bruni and
                  Furio Honsell and
                  Marina Lenisa and
                  Marino Miculan},
  editor       = {Marina Lenisa and
                  Marino Miculan},
  title        = {Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic},
  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        = {136--156},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00324-X},
  doi          = {10.1016/S1571-0661(04)00324-X},
  timestamp    = {Wed, 30 Nov 2022 12:15:34 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniHLM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniG01,
  author       = {Roberto Bruni and
                  Fabio Gadducci},
  editor       = {Wolfram Kahl and
                  David Lorge Parnas and
                  Gunther Schmidt},
  title        = {Some algebraic laws for spans},
  booktitle    = {First International Workshop on Relational Methods in Software, RelMiS
                  2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 7-8,
                  2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {44},
  number       = {3},
  pages        = {175--193},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80937-X},
  doi          = {10.1016/S1571-0661(04)80937-X},
  timestamp    = {Thu, 01 Dec 2022 11:11:50 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0107022,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Francesca Rossi},
  title        = {An interactive semantics of logic programming},
  journal      = {CoRR},
  volume       = {cs.LO/0107022},
  year         = {2001},
  url          = {https://arxiv.org/abs/cs/0107022},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0107022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BruniM00,
  author       = {Roberto Bruni and
                  Ugo Montanari},
  title        = {Zero-Safe Nets: Comparing the Collective and Individual Token Approaches},
  journal      = {Inf. Comput.},
  volume       = {156},
  number       = {1-2},
  pages        = {46--89},
  year         = {2000},
  url          = {https://doi.org/10.1006/inco.1999.2819},
  doi          = {10.1006/INCO.1999.2819},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BruniM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BruniM00,
  author       = {Roberto Bruni and
                  Ugo Montanari},
  editor       = {Mogens Nielsen and
                  Dan Simpson},
  title        = {Executing Transactions in Zero-Safe Nets},
  booktitle    = {Application and Theory of Petri Nets 2000, 21st International Conference,
                  {ICATPN} 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
  series       = {Lecture Notes in Computer Science},
  volume       = {1825},
  pages        = {83--102},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44988-4\_7},
  doi          = {10.1007/3-540-44988-4\_7},
  timestamp    = {Sat, 07 Sep 2019 11:59:23 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BruniM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BruniFMM00,
  author       = {Roberto Bruni and
                  David de Frutos{-}Escrig and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Ugo Montanari},
  editor       = {Catuscia Palamidessi},
  title        = {Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic},
  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        = {259--274},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44618-4\_20},
  doi          = {10.1007/3-540-44618-4\_20},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BruniFMM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BruniS00,
  author       = {Roberto Bruni and
                  Vladimiro Sassone},
  editor       = {Ugo Montanari and
                  Jos{\'{e}} D. P. Rolim and
                  Emo Welzl},
  title        = {Algebraic Models for Contextual Nets},
  booktitle    = {Automata, Languages and Programming, 27th International Colloquium,
                  {ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1853},
  pages        = {175--186},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45022-X\_15},
  doi          = {10.1007/3-540-45022-X\_15},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BruniS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BruniMS00,
  author       = {Roberto Bruni and
                  Ugo Montanari and
                  Vladimiro Sassone},
  editor       = {Jan van Leeuwen and
                  Osamu Watanabe and
                  Masami Hagiya and
                  Peter D. Mosses and
                  Takayasu Ito},
  title        = {Open Ended Systems, Dynamic Bisimulation and Tile Logic},
  booktitle    = {Theoretical Computer Science, Exploring New Frontiers of Theoretical
                  Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan,
                  August 17-19, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1872},
  pages        = {440--456},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44929-9\_31},
  doi          = {10.1007/3-540-44929-9\_31},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/BruniMS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BruniMM99,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari},
  editor       = {Jean{-}Pierre Finance},
  title        = {Executable Tile Specifications for Process Calculi},
  booktitle    = {Fundamental Approaches to Software Engineering, Second Internationsl
                  Conference, FASE'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       = {1577},
  pages        = {60--76},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-49020-3\_5},
  doi          = {10.1007/978-3-540-49020-3\_5},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/BruniMM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BruniM99,
  author       = {Roberto Bruni and
                  Ugo Montanari},
  title        = {Cartesian Closed Double Categories, Their Lambda-Notation, and the
                  Pi-Calculus},
  booktitle    = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
                  Italy, July 2-5, 1999},
  pages        = {246--265},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/LICS.1999.782620},
  doi          = {10.1109/LICS.1999.782620},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BruniM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/BruniMMS99,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari and
                  Vladimiro Sassone},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Functorial semantics for Petri nets under the individual token philosophy},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {21},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80302-0},
  doi          = {10.1016/S1571-0661(05)80302-0},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BruniMMS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/BruniMMS98,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari and
                  Vladimiro Sassone},
  editor       = {Jieh Hsiang and
                  Atsushi Ohori},
  title        = {A Comparison of Petri Net Semantics under the Collective Token Philosophy},
  booktitle    = {Advances in Computing Science - {ASIAN} '98, 4th Asian Computing Science
                  Conference, Manila, The Philippines, December 8-10, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1538},
  pages        = {225--244},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49366-2\_18},
  doi          = {10.1007/3-540-49366-2\_18},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/BruniMMS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BruniGM98,
  author       = {Roberto Bruni and
                  Fabio Gadducci and
                  Ugo Montanari},
  editor       = {Jos{\'{e}} Luiz Fiadeiro},
  title        = {Normal Forms for Partitions and Relations},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 13th International
                  Workshop, {WADT} '98, Lisbon, Portugal, April 2-4, 1998, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1589},
  pages        = {31--47},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-48483-3\_3},
  doi          = {10.1007/3-540-48483-3\_3},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BruniGM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bruni98,
  author       = {Roberto Bruni},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {A logic for modular descriptions of asynchronous and synchronized
                  concurrent systems},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {161--172},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80760-1},
  doi          = {10.1016/S1571-0661(05)80760-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Bruni98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniMM98,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Internal strategies in a rewriting implementation of tile systems},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {263--284},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80016-7},
  doi          = {10.1016/S1571-0661(05)80016-7},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniMM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BruniM97,
  author       = {Roberto Bruni and
                  Ugo Montanari},
  editor       = {Francesco Parisi{-}Presicce},
  title        = {Zero-safe nets: The individual token approach},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 12th International
                  Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1376},
  pages        = {122--140},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64299-4\_30},
  doi          = {10.1007/3-540-64299-4\_30},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BruniM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniM97,
  author       = {Roberto Bruni and
                  Ugo Montanari},
  editor       = {Catuscia Palamidessi and
                  Joachim Parrow},
  title        = {Zero-safe nets, or transition synchronization made simple},
  booktitle    = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {7},
  pages        = {55--74},
  publisher    = {Elsevier},
  year         = {1997},
  url          = {https://doi.org/10.1016/S1571-0661(05)80466-9},
  doi          = {10.1016/S1571-0661(05)80466-9},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics