Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Roberto
    Last name: Bruni
    DBLP: 30/1750
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 100 of 122  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari.
    Constraint design rewriting.
    Sci. Comput. Program. 2015, Volume 97 (0) 2015
    Journal article
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin.
    Modelling and analyzing adaptive self-assembly strategies with Maude.
    Sci. Comput. Program. 2015, Volume 99 (0) 2015
    Journal article
    Roberto Bruni, Ugo Montanari, Matteo Sammartino.
    Revisiting causality, coalgebraically.
    Acta Inf. 2015, Volume 52 (0) 2015
    Conference paper
    Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti.
    CaSPiS: a calculus of sessions, pipelines and services.
    Mathematical Structures in Computer Science 2015, Volume 25 (0) 2015
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari.
    cJoin: Join with communicating transactions.
    Mathematical Structures in Computer Science 2015, Volume 25 (0) 2015
    Conference paper
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin.
    A White Box Perspective on Behavioural Adaptation.
    Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering 2015 (0) 2015
    Conference paper
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin.
    Awareness and Control in Adaptable Transition Systems.
    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 Internationa 2015 (0) 2015
    Conference paper
    Roberto Bruni, Ugo Montanari, Matteo Sammartino.
    A coalgebraic semantics for causality in Petri nets.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari.
    A Normal Form for Stateful Connectors.
    Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 (0) 2015
    Book chapter
    Roberto Bruni, Ugo Montanari, Matteo Sammartino.
    Reconfigurable and Software-Defined Networks of Connectors and Components.
    Software Engineering for Collective Autonomic Systems - The ASCENS Approach 2015, Volume 8998 (0) 2015
    Book chapter
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing.
    Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.
    Software Engineering for Collective Autonomic Systems - The ASCENS Approach 2015, Volume 8998 (0) 2015
    Conference paper
    Roberto Bruni, Ugo Montanari, Matteo Sammartino.
    Causal Trees, Finally.
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Roberto Bruni, Ugo Montanari, Matteo Sammartino.
    A coalgebraic semantics for causality in Petri nets.
    J. Log. Algebr. Meth. Program. 2015, Volume 84 (0) 2015
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari.
    Behaviour, Interaction and Dynamics.
    Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi 2014 (0) 2014
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari.
    From Hierarchical BIP to Petri Calculus.
    From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings 2014 (0) 2014
    Journal article
    Chiara Bodei, Linda Brodo, Roberto Bruni, Davide Chiarugi.
    A Flat Process Calculus for Nested Membrane Interactions.
    Sci. Ann. Comp. Sci. 2014, Volume 24 (0) 2014
    Conference paper
    Liang Zhao, Roberto Bruni, Zhiming Liu 0001.
    A sound and complete theory of graph transformations for service programming with sessions and pipelines.
    Sci. Comput. Program. 2014, Volume 94 (0) 2014
    Journal article
    Roberto Bruni, Ugo Montanari, Gordon D. Plotkin, Daniele Terreni.
    On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs.
    Fundam. Inform. 2014, Volume 134 (0) 2014
    Journal article
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin.
    Adaptation is a Game.
    TinyToCS 2013, Volume 2 (0) 2013
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Pawel Sobocinski.
    Connector algebras for C/E and P/T nets' interactions.
    Logical Methods in Computer Science 2009, Volume 9 (0) 2013
    Conference paper
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin.
    A Conceptual Framework for Adaptation.
    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 2012 (0) 2012
    Conference paper
    Roberto Bruni, Carla Ferreira, Anne Kersten Kauer.
    First-Order Dynamic Logic for Compensable Processes.
    Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings 2012 (0) 2012
    Journal article
    Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva.
    Towards Interaction Reliability in Concurrent Applications.
    Sci. Ann. Comp. Sci. 2012, Volume 22 (0) 2012
    Conference paper
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin.
    Modelling and Analyzing Adaptive Self-assembly Strategies with Maude.
    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 2012 (0) 2012
    Conference paper
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin.
    Adaptable Transition Systems.
    Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers 2013 (0) 2012
    Conference paper
    Chiara Bodei, Linda Brodo, Roberto Bruni.
    Open Multiparty Interaction.
    Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers 2013 (0) 2012
    Conference paper
    Roberto Bruni, Anne Kersten Kauer.
    LTS Semantics for Compensation-Based Processes.
    Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers 2013 (0) 2012
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari.
    A Connector Algebra for P/T Nets Interactions.
    CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings 2011 (0) 2011
    Book chapter
    Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari.
    Hierarchical Models for Service-Oriented Systems.
    Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing 2011, Volume 6582 (0) 2011
    Book chapter
    Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira.
    Static Analysis Techniques for Session-Oriented Calculi.
    Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing 2011, Volume 6582 (0) 2011
    Book chapter
    Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto.
    A Formal Support to Business and Architectural Design for Service-Oriented Systems.
    Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing 2011, Volume 6582 (0) 2011
    Conference paper
    Roberto Bruni, Andrea Corradini, Gian Luigi Ferrari, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo.
    Applying Process Analysis to the Italian eGovernment Enterprise Architecture.
    Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers 2012 (0) 2011
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari.
    Connector Algebras, Petri Nets, and BIP.
    Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers 2012 (0) 2011
    Journal article
    Sonia Ben Mokhtar, Simon Bliudze, Roberto Bruni, Alexandra Silva, Angelo Troina.
    Concurrency and Interaction in Complex Systems.
    Sci. Ann. Comp. Sci. 2011, Volume 21 (0) 2011
    Conference paper
    Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari.
    On Structured Model-Driven Transformations.
    Int. J. Software and Informatics 2011, Volume 5 (0) 2011
    Conference paper
    Roberto Bruni, Alberto Lluch-Lafuente.
    Evaluating the Performance of Model Transformation Styles in Maude.
    Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers 2012 (0) 2011
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari.
    A Survey on Basic Connectors and Buffers.
    Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers 2013 (0) 2011
    Conference paper
    Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo.
    Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning.
    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 2010 (0) 2010
    Journal article
    Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva.
    Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction
    CoRR 2010, Volume 0 (0) 2010
    Conference paper
    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 - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday 2010 (0) 2010
    Conference paper
    Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente.
    An Algebra of Hierarchical Graphs.
    Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers 2010 (0) 2010
    Journal article
    Roberto Bruni, Andrea Corradini, Ugo Montanari.
    Modeling a Service and Session Calculus with Hierarchical Graph Transformation.
    ECEASST 2010, Volume 30 (0) 2010
    Journal article
    Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente.
    An Algebra of Hierarchical Graphs and its Application to Structural Encoding.
    Sci. Ann. Comp. Sci. 2010, Volume 20 (0) 2010
    Conference paper
    Roberto Bruni, Zhiming Liu 0001, Liang Zhao.
    Graph Representation of Sessions and Pipelines for Structured Service Programming.
    Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers 2012 (0) 2010
    Conference paper
    Roberto Bruni, Anne Kersten Kauer, Ivan Lanese, Giorgio Spagnolo.
    A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions.
    Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers 2012 (0) 2010
    Journal article
    Roberto Bruni, Alberto Lluch-Lafuente.
    Ten virtues of structured graphs.
    ECEASST 2009, Volume 18 (0) 2009
    Conference paper
    Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente.
    A Graph Syntax for Processes and Services.
    Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers 2010 (0) 2009
    Conference paper
    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.
    Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Chiara Bodei, Linda Brodo, Roberto Bruni.
    Static Detection of Logic Flaws in Service-Oriented Applications.
    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 2009 (0) 2009
    Conference paper
    Roberto Bruni.
    Calculi for Service-Oriented Computing.
    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 2009 (0) 2009
    Conference paper
    Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari.
    Hierarchical Design Rewriting with Maude.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 238 (0) 2009
    Conference paper
    Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente.
    On Symbolic Semantics for Name-decorated Contexts.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 229 (0) 2009
    Journal article
    Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari.
    Style-Based Architectural Reconfigurations.
    Bulletin of the EATCS 2008, Volume 94 (0) 2008
    Conference paper
    Roberto Bruni, Leonardo Gaetano Mezzina.
    Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines.
    Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Roberto Bruni, Vladimiro Sassone.
    Models of Computation: A Tribute to Ugo Montanari's Vision.
    Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday 2008 (0) 2008
    Conference paper
    Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente.
    Graph-Based Design and Analysis of Dynamic Software Architectures.
    Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday 2008 (0) 2008
    Conference paper
    Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto.
    Multiparty Sessions in SOC.
    Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti.
    Sessions and Pipelines for Structured Service Programming.
    Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina.
    Provably Correct Implementations of Services.
    Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers 2009 (0) 2008
    Conference paper
    Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari.
    Tiles for Reo.
    Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers 2009 (0) 2008
    Conference paper
    Roberto Bruni, Dániel Varró.
    Preface.
    Electr. Notes Theor. Comput. Sci. 2008, Volume 211 (0) 2008
    Conference paper
    Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti.
    Modelling Dynamic Software Architectures using Typed Graph Grammars.
    Electr. Notes Theor. Comput. Sci. 2008, Volume 213 (0) 2008
    Conference paper
    Roberto Bruni, Ivan Lanese.
    Parametric synchronizations in mobile nominal calculi.
    Theor. Comput. Sci. 2008, Volume 402 (0) 2008
    Conference paper
    Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto.
    Service Oriented Architectural Design.
    Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers 2008 (0) 2007
    Conference paper
    Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni.
    Deducing Interactions in Partially Unspecified Biological Systems.
    Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo.
    Prototype Platforms for Distributed Agreements.
    Electr. Notes Theor. Comput. Sci. 2007, Volume 180 (0) 2007
    Conference paper
    Paolo Baldan, Andrea Bracciali, Roberto Bruni.
    A semantic framework for open processes.
    Theor. Comput. Sci. 2007, Volume 389 (0) 2007
    Conference paper
    Roberto Bruni, Hernán C. Melgratti.
    Non-sequential Behaviour of Dynamic Nets.
    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 2006 (0) 2006
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari.
    Event Structure Semantics for Nominal Calculi.
    CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Roberto Bruni, Hernán C. Melgratti.
    Dynamic Graph Transformation Systems.
    Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Roberto Bruni, Ivan Lanese.
    PRISMA: A Mobile Calculus with Parametric Synchronization.
    Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers 2007 (0) 2006
    Conference paper
    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.
    Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto.
    Translating Orc Features into Petri Nets and the Join Calculus.
    Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Roberto Bruni, Ivan Lanese, Ugo Montanari.
    A basic algebra of stateless connectors.
    Theor. Comput. Sci. 2006, Volume 366 (0) 2006
    Conference paper
    Roberto Bruni, José Meseguer.
    Semantic foundations for generalized rewrite theories.
    Theor. Comput. Sci. 2006, Volume 360 (0) 2006
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari.
    Event Structure Semantics for Dynamic Graph Grammars.
    ECEASST 2006, Volume 2 (0) 2006
    Conference paper
    Roberto Bruni, Ivan Lanese, Ugo Montanari.
    Complete Axioms for Stateless Connectors.
    Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings 2005 (0) 2005
    Conference paper
    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 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski.
    Deriving Weak Bisimulation Congruences from Reduction Systems.
    CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings 2005 (0) 2005
    Conference paper
    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.
    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 2005 (0) 2005
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari.
    Theoretical foundations for compensations in flow composition languages.
    Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005 2005 (0) 2005
    Conference paper
    Roberto Bruni, Ugo Montanari, Vladimiro Sassone.
    Observational congruences for dynamically reconfigurable tile systems.
    Theor. Comput. Sci. 2005, Volume 335 (0) 2005
    Conference paper
    Roberto Bruni, Ivan Lanese.
    Summary 3: On Graph(ic) Encodings.
    Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004 2005 (0) 2004
    Conference paper
    Paolo Baldan, Andrea Bracciali, Roberto Bruni.
    Symbolic Equivalences for Open Systems.
    Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005 (0) 2004
    Conference paper
    Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari.
    New Insights on Architectural Connectors.
    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 2004 (0) 2004
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari.
    Nested Commits for Mobile Calculi: Extending Join.
    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 2004 (0) 2004
    Conference paper
    Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan.
    Modeling Fresh Names in the ?-calculus Using Abstractions.
    Electr. Notes Theor. Comput. Sci. 2004, Volume 106 (0) 2004
    Conference paper
    Roberto Bruni, Hernán C. Melgratti, Ugo Montanari.
    Flat Committed Join in Join.
    Electr. Notes Theor. Comput. Sci. 2004, Volume 104 (0) 2004
    Conference paper
    Roberto Bruni, Ugo Montanari.
    Concurrent models for Linda with transactions.
    Mathematical Structures in Computer Science 2004, Volume 14 (0) 2004
    Conference paper
    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, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additiona 2004 (0) 2003
    Conference paper
    Roberto Bruni, José Meseguer.
    Generalized Rewrite Theories.
    Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings 2003 (0) 2003
    Conference paper
    Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone.
    Algebraic Theories for Contextual Pre-nets.
    Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Paolo Baldan, Andrea Bracciali, Roberto Bruni.
    Bisimulation by Unification.
    Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Roberto Bruni, Cosimo Laneve, Ugo Montanari.
    Orchestrating Transactions in Join Calculus.
    CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Luis Filipe 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.
    Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers 2003 (0) 2002
    Conference paper
    Paolo Baldan, Roberto Bruni, Ugo Montanari.
    Pre-nets, Read Arcs and Unfolding: A Functorial Presentation.
    Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers 2003 (0) 2002
    Conference paper
    Roberto Bruni, José Meseguer, Ugo Montanari.
    Tiling Transactions in Rewriting Logic.
    Electr. Notes Theor. Comput. Sci. 2002, Volume 71 (0) 2002
    Conference paper
    Roberto Bruni, José Meseguer, Ugo Montanari.
    Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic.
    Mathematical Structures in Computer Science 2002, Volume 12 (0) 2002
    Conference paper
    Roberto Bruni, Fabio Gadducci, Ugo Montanari.
    Normal forms for algebras of connection.
    Theor. Comput. Sci. 2002, Volume 286 (0) 2002
    Conference paper
    Roberto Bruni, Ugo Montanari.
    Dynamic connectors for concurrency.
    Theor. Comput. Sci. 2002, Volume 281 (0) 2002
    Show item 1 to 100 of 122  

    Your query returned 122 matches in the database.