Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDRoberto Bruni
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c84]Flavio Ascari, Roberto Bruni, Roberta Gori:
Limits and difficulties in the design of under-approximation abstract domains. FoSSaCS 2022: 21-39- [c83]Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato:
Abstract interpretation repair. PLDI 2022: 426-441 - 2021
- [j48]Linda Brodo, Roberto Bruni, Moreno Falaschi
:
A logical and graphical framework for reaction systems. Theor. Comput. Sci. 875: 1-27 (2021) - [j47]Linda Brodo, Roberto Bruni, Moreno Falaschi:
A process algebraic approach to reaction systems. Theor. Comput. Sci. 881: 62-82 (2021) - [c82]Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato:
A Logic for Locally Complete Abstract Interpretations. LICS 2021: 1-13 - [c81]Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo:
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems. TPNC 2021: 15-32 - 2020
- [j46]Chiara Bodei, Linda Brodo, Roberto Bruni:
The link-calculus for open multiparty interactions. Inf. Comput. 275: 104587 (2020) - [j45]Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras, Dusko Pavlovic:
Abstract extensionality: on the properties of incomplete abstract interpretations. Proc. ACM Program. Lang. 4(POPL): 28:1-28:28 (2020) - [j44]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Bayesian network semantics for Petri nets. Theor. Comput. Sci. 807: 95-113 (2020) - [c80]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
Algebras for Tree Decomposable Graphs. ICGT 2020: 203-220 - [c79]Linda Brodo, Roberto Bruni, Moreno Falaschi:
SOS Rules for Equivalences of Reaction Systems. WFLP 2020: 3-21 - [i9]Linda Brodo, Roberto Bruni, Moreno Falaschi:
SOS Rules for Equivalences of Reaction Systems. CoRR abs/2008.13016 (2020)
2010 – 2019
- 2019
- [j43]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Concurrency and Probability: Removing Confusion, Compositionally. Log. Methods Comput. Sci. 15(4) (2019) - [j42]Chiara Bodei, Linda Brodo, Roberto Bruni:
A formal approach to open multiparty interactions. Theor. Comput. Sci. 763: 38-65 (2019) - [c78]Linda Brodo, Roberto Bruni, Moreno Falaschi:
Enhancing Reaction Systems: A Process Algebraic Approach. The Art of Modelling Computational Systems 2019: 68-85 - [c77]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 - [c76]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
- [j41]Roberto Bruni, Roberto Giacobazzi, Roberta Gori:
Code obfuscation against abstraction refinement attacks. Formal Aspects Comput. 30(6): 685-711 (2018) - [j40]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) - [c75]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Concurrency and Probability: Removing Confusion, Compositionally. LICS 2018: 195-204 - [c74]Roberto Bruni, Roberto Giacobazzi, Roberta Gori:
Code Obfuscation Against Abstract Model Checking Attacks. VMCAI 2018: 94-115 - [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) - [i7]Chiara Bodei, Linda Brodo, Roberto Bruni:
A Formal Approach to Open Multiparty Interactions. CoRR abs/1807.03002 (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
- [j39]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
Revisiting causality, coalgebraically. Acta Informatica 52(1): 5-33 (2015) - [j38]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
A coalgebraic semantics for causality in Petri nets. J. Log. Algebraic Methods Program. 84(6): 853-883 (2015) - [j37]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
cJoin: Join with communicating transactions. Math. Struct. Comput. Sci. 25(3): 566-618 (2015) - [j36]Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti:
CaSPiS: a calculus of sessions, pipelines and services. Math. Struct. Comput. Sci. 25(3): 666-709 (2015) - [j35]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Constraint design rewriting. Sci. Comput. Program. 97: 23-30 (2015) - [j34]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99: 75-94 (2015) - [c73]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets 2015: 19-21 - [c72]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
Causal Trees, Finally. Programming Languages with Applications to Biology and Security 2015: 27-43 - [c71]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
A Normal Form for Stateful Connectors. Logic, Rewriting, and Concurrency 2015: 205-227 - [c70]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems 2015: 552-581 - [p5]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
Reconfigurable and Software-Defined Networks of Connectors and Components. The ASCENS Approach 2015: 73-106 - [p4]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. The ASCENS Approach 2015: 163-184 - [i4]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
A coalgebraic semantics for causality in Petri nets. CoRR abs/1507.06462 (2015) - 2014
- [j33]Chiara Bodei, Linda Brodo, Roberto Bruni, Davide Chiarugi:
A Flat Process Calculus for Nested Membrane Interactions. Sci. Ann. Comput. Sci. 24(1): 91-136 (2014) - [j32]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) - [j31]Liang Zhao, Roberto Bruni, Zhiming Liu:
A sound and complete theory of graph transformations for service programming with sessions and pipelines. Sci. Comput. Program. 94: 255-288 (2014) - [c69]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Behaviour, Interaction and Dynamics. Specification, Algebra, and Software 2014: 382-401 - [c68]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
From Hierarchical BIP to Petri Calculus. FPS@ETAPS 2014: 54-68 - 2013
- [j30]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) - [i3]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptation is a Game. Tiny Trans. Comput. Sci. 2 (2013) - 2012
- [j29]Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva:
Towards Interaction Reliability in Concurrent Applications. Sci. Ann. Comput. Sci. 22(1): 1-4 (2012) - [c67]Roberto Bruni, Carla Ferreira, Anne Kersten Kauer:
First-Order Dynamic Logic for Compensable Processes. COORDINATION 2012: 104-121 - [c66]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
A Conceptual Framework for Adaptation. FASE 2012: 240-254 - [c65]Roberto Bruni, Anne Kersten Kauer:
LTS Semantics for Compensation-Based Processes. TGC 2012: 112-128 - [c64]Chiara Bodei, Linda Brodo, Roberto Bruni:
Open Multiparty Interaction. WADT 2012: 1-23 - [c63]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptable Transition Systems. WADT 2012: 95-110 - [c62]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA 2012: 118-138 - [e6]Roberto Bruni, Vladimiro Sassone:
Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7173, Springer 2012, ISBN 978-3-642-30064-6 [contents] - 2011
- [j28]Sonia Ben Mokhtar, Simon Bliudze, Roberto Bruni, Alexandra Silva, Angelo Troina:
Concurrency and Interaction in Complex Systems. Sci. Ann. Comput. Sci. 21(1): 1-4 (2011) - [j27]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
On Structured Model-Driven Transformations. Int. J. Softw. Informatics 5(1-2): 185-206 (2011) - [c61]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
A Connector Algebra for P/T Nets Interactions. CONCUR 2011: 312-326 - [c60]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Connector Algebras, Petri Nets, and BIP. Ershov Memorial Conference 2011: 19-38 - [c59]Roberto Bruni, Alberto Lluch-Lafuente:
Evaluating the Performance of Model Transformation Styles in Maude. FACS 2011: 79-96 - [c58]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
A Survey on Basic Connectors and Buffers. FMCO 2011: 49-68 - [c57]Roberto Bruni, Andrea Corradini, Gian Luigi Ferrari, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo:
Applying Process Analysis to the Italian eGovernment Enterprise Architecture. WS-FM 2011: 111-127 - [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 - [p2]Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira:
Static Analysis Techniques for Session-Oriented Calculi. Results of the SENSORIA Project 2011: 214-231 - [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 - [e5]Roberto Bruni, Jürgen Dingel:
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. Lecture Notes in Computer Science 6722, Springer 2011, ISBN 978-3-642-21460-8 [contents] - [e4]Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone:
Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 59, 2011 [contents] - 2010
- [j26]Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
An Algebra of Hierarchical Graphs and its Application to Structural Encoding. Sci. Ann. Comput. Sci. 20: 53-96 (2010) - [j25]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) - [c56]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 - [c55]Roberto Bruni, Zhiming Liu, Liang Zhao:
Graph Representation of Sessions and Pipelines for Structured Service Programming. FACS 2010: 259-276 - [c54]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 - [c53]Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
An Algebra of Hierarchical Graphs. TGC 2010: 205-221 - [c52]Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo:
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. WADT 2010: 42-60 - [e3]Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva:
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands, 10th of June 2010. EPTCS 38, 2010 [contents]
2000 – 2009
- 2009
- [j24]Roberto Bruni, Alberto Lluch-Lafuente:
Ten virtues of structured graphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009) - [j23]Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente:
On Symbolic Semantics for Name-decorated Contexts. Electron. Notes Theor. Comput. Sci. 229(3): 37-58 (2009) - [c51]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 - [c50]Chiara Bodei, Linda Brodo, Roberto Bruni:
Static Detection of Logic Flaws in Service-Oriented Applications. ARSPA-WITS 2009: 70-87 - [c49]Roberto Bruni:
Calculi for Service-Oriented Computing. SFM 2009: 1-41 - [c48]Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
A Graph Syntax for Processes and Services. WS-FM 2009: 46-60 - [e2]Roberto Bruni, Karsten Wolf:
Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5387, Springer 2009, ISBN 978-3-642-01363-8 [contents] - 2008
- [j22]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Style-Based Architectural Reconfigurations. Bull. EATCS 94: 161-180 (2008) - [j21]Roberto Bruni, Dániel Varró:
Preface. Electron. Notes Theor. Comput. Sci. 211: 1-3 (2008) - [j20]Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti:
Modelling Dynamic Software Architectures using Typed Graph Grammars. Electron. Notes Theor. Comput. Sci. 213(1): 39-53 (2008) - [j19]Roberto Bruni, Ivan Lanese:
Parametric synchronizations in mobile nominal calculi. Theor. Comput. Sci. 402(2-3): 102-119 (2008) - [c47]Roberto Bruni, Leonardo Gaetano Mezzina:
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines. AMAST 2008: 100-115 - [c46]Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente:
Graph-Based Design and Analysis of Dynamic Software Architectures. Concurrency, Graphs and Models 2008: 37-56 - [c45]Roberto Bruni, Vladimiro Sassone:
Models of Computation: A Tribute to Ugo Montanari's Vision. Concurrency, Graphs and Models 2008: 503-509 - [c44]Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto:
Multiparty Sessions in SOC. COORDINATION 2008: 67-82 - [c43]Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti:
Sessions and Pipelines for Structured Service Programming. FMOODS 2008: 19-38 - [c42]Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina:
Provably Correct Implementations of Services. TGC 2008: 69-86 - [c41]Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari:
Tiles for Reo. WADT 2008: 37-55 - [c40]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Hierarchical Design Rewriting with Maude. WRLA 2008: 45-62 - 2007
- [j18]Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo:
Prototype Platforms for Distributed Agreements. Electron. Notes Theor. Comput. Sci. 180(2): 21-40 (2007) - [j17]Paolo Baldan, Andrea Bracciali, Roberto Bruni:
A semantic framework for open processes. Theor. Comput. Sci. 389(3): 446-483 (2007) - [c39]Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni:
Deducing Interactions in Partially Unspecified Biological Systems. AB 2007: 262-276 - [c38]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
- [j16]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Event Structure Semantics for Dynamic Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006) - [j15]Roberto Bruni, José Meseguer:
Semantic foundations for generalized rewrite theories. Theor. Comput. Sci. 360(1-3): 386-414 (2006) - [j14]Roberto Bruni, Ivan Lanese, Ugo Montanari:
A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1-2): 98-120 (2006) - [c37]Roberto Bruni, Hernán C. Melgratti:
Non-sequential Behaviour of Dynamic Nets. ICATPN 2006: 105-124 - [c36]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Event Structure Semantics for Nominal Calculi. CONCUR 2006: 295-309 - [c35]Roberto Bruni, Hernán C. Melgratti:
Dynamic Graph Transformation Systems. ICGT 2006: 230-244 - [c34]Roberto Bruni, Ivan Lanese:
PRISMA: A Mobile Calculus with Parametric Synchronization. TGC 2006: 132-149 - [c33]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 - [c32]Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto:
Translating Orc Features into Petri Nets and the Join Calculus. WS-FM 2006: 123-137 - 2005
- [j13]Roberto Bruni, Ugo Montanari, Vladimiro Sassone:
Observational congruences for dynamically reconfigurable tile systems. Theor. Comput. Sci. 335(2-3): 331-372 (2005) - [c31]Roberto Bruni, Ivan Lanese, Ugo Montanari:
Complete Axioms for Stateless Connectors. CALCO 2005: 98-113 - [c30]Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski:
Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR 2005: 293-307 - [c29]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 - [c28]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 - [c27]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Theoretical foundations for compensations in flow composition languages. POPL 2005: 209-220 - 2004
- [j12]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Flat Committed Join in Join. Electron. Notes Theor. Comput. Sci. 104: 39-59 (2004) - [j11]Roberto Bruni, Ugo Montanari:
Concurrent models for Linda with transactions. Math. Struct. Comput. Sci. 14(3): 421-468 (2004) - [c26]Paolo Baldan, Andrea Bracciali, Roberto Bruni:
Symbolic Equivalences for Open Systems. Global Computing 2004: 1-17 - [c25]Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari:
New Insights on Architectural Connectors. IFIP TCS 2004: 367-380 - [c24]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Nested Commits for Mobile Calculi: Extending Join. IFIP TCS 2004: 563-576 - [c23]Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan:
Modeling Fresh Names in the ?-calculus Using Abstractions. CMCS 2004: 25-41 - [i2]