Search the dblp DataBase

Publications of Author

1. Roberto Bruni, Ivan Lanese, Ugo Montanari
   Complete Axioms for Stateless Connectors. [Citation Graph (0, 0)][DBLP]
   CALCO, 2005, pp:98-113 [Conf]
   
2. Ivan Lanese, Emilio Tuosto
   Synchronized Hyperedge Replacement for Heterogeneous Systems. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2005, pp:220-235 [Conf]
   
3. Roberto Bruni, Ivan Lanese
   Summary 3: On Graph(ic) Encodings. [Citation Graph (0, 0)][DBLP]
   Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004, pp:- [Conf]
   
4. Ivan Lanese, Ugo Montanari
   Insights emerged while comparing three models for global computing. [Citation Graph (0, 0)][DBLP]
   Foundations of Global Computing, 2005, pp:- [Conf]
   
5. Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto
   Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. [Citation Graph (0, 0)][DBLP]
   FMCO, 2005, pp:22-43 [Conf]
   
6. Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari
   New Insights on Architectural Connectors. [Citation Graph (0, 0)][DBLP]
   IFIP TCS, 2004, pp:367-380 [Conf]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   WS-FM, 2006, pp:38-57 [Conf]
   
8. Manuel Mazzara, Ivan Lanese
   Towards a Unifying Theory for Web Services Composition. [Citation Graph (0, 0)][DBLP]
   WS-FM, 2006, pp:257-272 [Conf]
   
9. Ivan Lanese, Ugo Montanari
   A Graphical Fusion Calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:199-215 [Journal]
   
10. Ivan Lanese, Ugo Montanari
    Synchronization Algebras with Mobility for Graph Transformations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:1, pp:43-60 [Journal]
    
11. Ivan Lanese, Ugo Montanari
    Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:154, n:2, pp:55-72 [Journal]
    
12. Roberto Bruni, Ivan Lanese, Ugo Montanari
    A basic algebra of stateless connectors. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:366, n:1-2, pp:98-120 [Journal]
    
13. Ivan Lanese
    Concurrent and Located Synchronizations in pi-Calculus. [Citation Graph (0, 0)][DBLP]
    SOFSEM (1), 2007, pp:388-399 [Conf]
    
14. Ivan Lanese, Ugo Montanari
    Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
    
15. 
    On the interplay between fault handling and request-response service invocations. [Citation Graph (, )][DBLP]
    
    
16. 
    Synchronous Multiparty Synchronizations and Transactions. [Citation Graph (, )][DBLP]
    
    
17. 
    Reversing Higher-Order Pi. [Citation Graph (, )][DBLP]
    
    
18. 
    Multiparty Sessions in SOC. [Citation Graph (, )][DBLP]
    
    
19. 
    Dynamic Fault Handling Mechanisms for Service-Oriented Applications. [Citation Graph (, )][DBLP]
    
    
20. 
    On the Expressive Power of Primitives for Compensation Handling. [Citation Graph (, )][DBLP]
    
    
21. 
    Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. [Citation Graph (, )][DBLP]
    
    
22. 
    On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. [Citation Graph (, )][DBLP]
    
    
23. 
    On the Expressiveness and Decidability of Higher-Order Process Calculi. [Citation Graph (, )][DBLP]
    
    
24. 
    Disciplining Orchestration and Conversation in Service-Oriented Computing. [Citation Graph (, )][DBLP]
    
    
25. 
    Programming Sagas in SOCK. [Citation Graph (, )][DBLP]
    
    
26. 
    Bridging the Gap between Interaction- and Process-Oriented Choreographies. [Citation Graph (, )][DBLP]
    
    
27. 
    Contract-Driven Implementation of Choreographies. [Citation Graph (, )][DBLP]
    
    
28. 
    PRISMA: A Mobile Calculus with Parametric Synchronization. [Citation Graph (, )][DBLP]
    
    
29. 
    Tiles for Reo. [Citation Graph (, )][DBLP]
    
    
30. 
    Exploiting User-definable Synchronizations in Graph Transformation. [Citation Graph (, )][DBLP]