| 2007 |
|---|
| 16 | EE | Ivan Lanese,
Francisco Martins,
Vasco Thudichum Vasconcelos,
António Ravara:
Disciplining Orchestration and Conversation in Service-Oriented Computing.
SEFM 2007: 305-314 |
| 15 | EE | Ivan Lanese:
Concurrent and Located Synchronizations in pi-Calculus.
SOFSEM (1) 2007: 388-399 |
| 2006 |
|---|
| 14 | EE | Roberto Bruni,
Ivan Lanese:
PRISMA: A Mobile Calculus with Parametric Synchronization.
TGC 2006: 132-149 |
| 13 | EE | Manuel Mazzara,
Ivan Lanese:
Towards a Unifying Theory for Web Services Composition.
WS-FM 2006: 257-272 |
| 12 | EE | 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 |
| 11 | EE | Ivan Lanese,
Ugo Montanari:
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility.
Electr. Notes Theor. Comput. Sci. 154(2): 55-72 (2006) |
| 10 | EE | Roberto Bruni,
Ivan Lanese,
Ugo Montanari:
A basic algebra of stateless connectors.
Theor. Comput. Sci. 366(1-2): 98-120 (2006) |
| 2005 |
|---|
| 9 | EE | Roberto Bruni,
Ivan Lanese,
Ugo Montanari:
Complete Axioms for Stateless Connectors.
CALCO 2005: 98-113 |
| 8 | EE | Ivan Lanese,
Emilio Tuosto:
Synchronized Hyperedge Replacement for Heterogeneous Systems.
COORDINATION 2005: 220-235 |
| 7 | EE | Gian Luigi Ferrari,
Dan Hirsch,
Ivan Lanese,
Ugo Montanari,
Emilio Tuosto:
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing.
FMCO 2005: 22-43 |
| 6 | EE | Ivan Lanese,
Ugo Montanari:
Insights emerged while comparing three models for global computing.
Foundations of Global Computing 2005 |
| 5 | EE | Ivan Lanese,
Ugo Montanari:
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming
CoRR abs/cs/0504050: (2005) |
| 4 | EE | Ivan Lanese,
Ugo Montanari:
Synchronization Algebras with Mobility for Graph Transformations.
Electr. Notes Theor. Comput. Sci. 138(1): 43-60 (2005) |
| 2004 |
|---|
| 3 | EE | Roberto Bruni,
Ivan Lanese:
Summary 3: On Graph(ic) Encodings.
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004 |
| 2 | | Roberto Bruni,
José Luiz Fiadeiro,
Ivan Lanese,
Antónia Lopes,
Ugo Montanari:
New Insights on Architectural Connectors.
IFIP TCS 2004: 367-380 |
| 1 | EE | Ivan Lanese,
Ugo Montanari:
A Graphical Fusion Calculus.
Electr. Notes Theor. Comput. Sci. 104: 199-215 (2004) |
