Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Roberto Bruni
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.