default search action
Roberto Bruni
- > Home > Persons > Roberto Bruni
Publications
- 2020
- [j35]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Bayesian network semantics for Petri nets. Theor. Comput. Sci. 807: 95-113 (2020) - [c89]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
Algebras for Tree Decomposable Graphs. ICGT 2020: 203-220 - 2019
- [j34]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Concurrency and Probability: Removing Confusion, Compositionally. Log. Methods Comput. Sci. 15(4) (2019) - [c86]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto:
Data-Driven Choreographies à la Klaim. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 170-190 - [c85]Roberto Bruni, Ugo Montanari, Giorgio Mossa:
A Coalgebraic Approach to Unification Semantics of Logic Programming. The Art of Modelling Computational Systems 2019: 223-240 - [p6]Roberto Bruni, Ugo Montanari:
Petri Inheritance: The Foundation of Nondeterministic, Concurrent Systems. Carl Adam Petri: Ideas, Personality, Impact 2019: 147-153 - 2018
- [j31]Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari:
Event Structures for Petri nets with Persistence. Log. Methods Comput. Sci. 14(3) (2018) - [c84]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Concurrency and Probability: Removing Confusion, Compositionally. LICS 2018: 195-204 - [i8]Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari:
Event Structures for Petri nets with Persistence. CoRR abs/1802.03726 (2018) - [i6]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Unifying Inference for Bayesian and Petri Nets. CoRR abs/1807.06305 (2018) - 2017
- [b1]Roberto Bruni, Ugo Montanari:
Models of Computation. Texts in Theoretical Computer Science. An EATCS Series, Springer 2017, ISBN 978-3-319-42898-7, pp. 3-356 - [i5]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Concurrency and Probability: Removing Confusion, Compositionally. CoRR abs/1710.04570 (2017) - 2015
- [j30]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
Revisiting causality, coalgebraically. Acta Informatica 52(1): 5-33 (2015) - [j29]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
A coalgebraic semantics for causality in Petri nets. J. Log. Algebraic Methods Program. 84(6): 853-883 (2015) - [j28]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
cJoin: Join with communicating transactions. Math. Struct. Comput. Sci. 25(3): 566-618 (2015) - [j26]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Constraint design rewriting. Sci. Comput. Program. 97: 23-30 (2015) - [c81]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
Causal Trees, Finally. Programming Languages with Applications to Biology and Security 2015: 27-43 - [c80]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
A Normal Form for Stateful Connectors. Logic, Rewriting, and Concurrency 2015: 205-227 - [p5]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
Reconfigurable and Software-Defined Networks of Connectors and Components. The ASCENS Approach 2015: 73-106 - [i4]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
A coalgebraic semantics for causality in Petri nets. CoRR abs/1507.06462 (2015) - 2014
- [j23]Roberto Bruni, Ugo Montanari, Gordon D. Plotkin, Daniele Terreni:
On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs. Fundam. Informaticae 134(3-4): 287-317 (2014) - [c78]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Behaviour, Interaction and Dynamics. Specification, Algebra, and Software 2014: 382-401 - [c77]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
From Hierarchical BIP to Petri Calculus. FPS@ETAPS 2014: 54-68 - 2013
- [j21]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Pawel Sobocinski:
Connector algebras for C/E and P/T nets' interactions. Log. Methods Comput. Sci. 9(3) (2013) - 2011
- [j18]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
On Structured Model-Driven Transformations. Int. J. Softw. Informatics 5(1-2): 185-206 (2011) - [c70]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
A Connector Algebra for P/T Nets Interactions. CONCUR 2011: 312-326 - [c69]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Connector Algebras, Petri Nets, and BIP. Ershov Memorial Conference 2011: 19-38 - [c67]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
A Survey on Basic Connectors and Buffers. FMCO 2011: 49-68 - [p3]Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto:
A Formal Support to Business and Architectural Design for Service-Oriented Systems. Results of the SENSORIA Project 2011: 133-152 - [p1]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari:
Hierarchical Models for Service-Oriented Systems. Results of the SENSORIA Project 2011: 349-368 - 2010
- [j16]Roberto Bruni, Andrea Corradini, Ugo Montanari:
Modeling a Service and Session Calculus with Hierarchical Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [c65]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari:
On GS-Monoidal Theories for Graphs with Nesting. Graph Transformations and Model-Driven Engineering 2010: 59-86 - [c63]Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo:
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. FMOODS/FORTE 2010: 2-16 - 2009
- [c60]Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing:
A Service-Oriented UML Profile with Formal Support. ICSOC/ServiceWave 2009: 455-469 - 2008
- [j14]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Style-Based Architectural Reconfigurations. Bull. EATCS 94: 161-180 (2008) - [c50]Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari:
Tiles for Reo. WADT 2008: 37-55 - [c48]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Hierarchical Design Rewriting with Maude. WRLA 2008: 45-62 - 2007
- [c46]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto:
Service Oriented Architectural Design. TGC 2007: 186-203 - [e1]Ugo Montanari, Donald Sannella, Roberto Bruni:
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4661, Springer 2007, ISBN 978-3-540-75333-9 [contents] - 2006
- [j11]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Event Structure Semantics for Dynamic Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006) - [j9]Roberto Bruni, Ivan Lanese, Ugo Montanari:
A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1-2): 98-120 (2006) - [c43]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Event Structure Semantics for Nominal Calculi. CONCUR 2006: 295-309 - [c40]Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro:
SCC: A Service Centered Calculus. WS-FM 2006: 38-57 - 2005
- [j8]Roberto Bruni, Ugo Montanari, Vladimiro Sassone:
Observational congruences for dynamically reconfigurable tile systems. Theor. Comput. Sci. 335(2-3): 331-372 (2005) - [c37]Roberto Bruni, Ivan Lanese, Ugo Montanari:
Complete Axioms for Stateless Connectors. CALCO 2005: 98-113 - [c36]Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski:
Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR 2005: 293-307 - [c35]Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari:
Comparing Two Approaches to Compensable Flow Composition. CONCUR 2005: 383-397 - [c34]Roberto Bruni, Gian-Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto:
From Theory to Practice in Transactional Composition of Web Services. EPEW/WS-FM 2005: 272-286 - [c33]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Theoretical foundations for compensations in flow composition languages. POPL 2005: 209-220 - 2004
- [j7]Roberto Bruni, Ugo Montanari:
Concurrent models for Linda with transactions. Math. Struct. Comput. Sci. 14(3): 421-468 (2004) - [c31]Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari:
New Insights on Architectural Connectors. IFIP TCS 2004: 367-380 - [c30]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Nested Commits for Mobile Calculi: Extending Join. IFIP TCS 2004: 563-576 - [c29]Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo:
Prototype Platforms for Distributed Agreements. FOCLASA 2004: 21-40 - 2003
- [c27]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. Lectures on Concurrency and Petri Nets 2003: 291-327 - [c25]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Algebraic Theories for Contextual Pre-nets. ICTCS 2003: 256-270 - [c24]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Flat Committed Join in Join. COMETA 2003: 39-59 - 2002
- [j6]Roberto Bruni, José Meseguer, Ugo Montanari:
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. Math. Struct. Comput. Sci. 12(1): 53-90 (2002) - [j5]Roberto Bruni, Ugo Montanari:
Dynamic connectors for concurrency. Theor. Comput. Sci. 281(1-2): 131-176 (2002) - [j4]Roberto Bruni, Fabio Gadducci, Ugo Montanari:
Normal forms for algebras of connection. Theor. Comput. Sci. 286(2): 247-292 (2002) - [c22]Roberto Bruni, Cosimo Laneve, Ugo Montanari:
Orchestrating Transactions in Join Calculus. CONCUR 2002: 321-337 - [c21]Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - [c20]Paolo Baldan, Roberto Bruni, Ugo Montanari:
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. WADT 2002: 145-164 - [c19]Roberto Bruni, José Meseguer, Ugo Montanari:
Tiling Transactions in Rewriting Logic. WRLA 2002: 90-109 - 2001
- [j3]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Functorial Models for Petri Nets. Inf. Comput. 170(2): 207-236 (2001) - [j2]Roberto Bruni, Ugo Montanari, Francesca Rossi:
An interactive semantics of logic programming. Theory Pract. Log. Program. 1(6): 647-690 (2001) - [c18]Roberto Bruni, Ugo Montanari:
Transactions and Zero-Safe Nets. Unifying Petri Nets 2001: 380-426 - [c16]Roberto Bruni, Ugo Montanari:
Zero-safe net models for transactions in Linda. ConCoord 2001: 106-116 - [i1]Roberto Bruni, Ugo Montanari, Francesca Rossi:
An interactive semantics of logic programming. CoRR cs.LO/0107022 (2001) - 2000
- [j1]Roberto Bruni, Ugo Montanari:
Zero-Safe Nets: Comparing the Collective and Individual Token Approaches. Inf. Comput. 156(1-2): 46-89 (2000) - [c13]Roberto Bruni, Ugo Montanari:
Executing Transactions in Zero-Safe Nets. ICATPN 2000: 83-102 - [c12]Roberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari:
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. CONCUR 2000: 259-274 - [c10]Roberto Bruni, Ugo Montanari, Vladimiro Sassone:
Open Ended Systems, Dynamic Bisimulation and Tile Logic. IFIP TCS 2000: 440-456 - 1999
- [c9]Roberto Bruni, José Meseguer, Ugo Montanari:
Executable Tile Specifications for Process Calculi. FASE 1999: 60-76 - [c8]Roberto Bruni, Ugo Montanari:
Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus. LICS 1999: 246-265 - [c7]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Functorial semantics for Petri nets under the individual token philosophy. CTCS 1999: 21 - 1998
- [c6]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
A Comparison of Petri Net Semantics under the Collective Token Philosophy. ASIAN 1998: 225-244 - [c5]Roberto Bruni, Fabio Gadducci, Ugo Montanari:
Normal Forms for Partitions and Relations. WADT 1998: 31-47 - [c3]Roberto Bruni, José Meseguer, Ugo Montanari:
Internal strategies in a rewriting implementation of tile systems. WRLA 1998: 263-284 - 1997
- [c2]Roberto Bruni, Ugo Montanari:
Zero-safe nets: The individual token approach. WADT 1997: 122-140 - [c1]Roberto Bruni, Ugo Montanari:
Zero-safe nets, or transition synchronization made simple. EXPRESS 1997: 55-74
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-12 03:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint