Search the dblp DataBase
Ivan Lanese :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Roberto Bruni , Ivan Lanese , Ugo Montanari Complete Axioms for Stateless Connectors. [Citation Graph (0, 0)][DBLP ] CALCO, 2005, pp:98-113 [Conf ] Ivan Lanese , Emilio Tuosto Synchronized Hyperedge Replacement for Heterogeneous Systems. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2005, pp:220-235 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Manuel Mazzara , Ivan Lanese Towards a Unifying Theory for Web Services Composition. [Citation Graph (0, 0)][DBLP ] WS-FM, 2006, pp:257-272 [Conf ] 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 ] 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 ] 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 ] 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 ] Ivan Lanese Concurrent and Located Synchronizations in pi -Calculus. [Citation Graph (0, 0)][DBLP ] SOFSEM (1), 2007, pp:388-399 [Conf ] 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 ] On the interplay between fault handling and request-response service invocations. [Citation Graph (, )][DBLP ] Synchronous Multiparty Synchronizations and Transactions. [Citation Graph (, )][DBLP ] Reversing Higher-Order Pi. [Citation Graph (, )][DBLP ] Multiparty Sessions in SOC. [Citation Graph (, )][DBLP ] Dynamic Fault Handling Mechanisms for Service-Oriented Applications. [Citation Graph (, )][DBLP ] On the Expressive Power of Primitives for Compensation Handling. [Citation Graph (, )][DBLP ] Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. [Citation Graph (, )][DBLP ] On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. [Citation Graph (, )][DBLP ] On the Expressiveness and Decidability of Higher-Order Process Calculi. [Citation Graph (, )][DBLP ] Disciplining Orchestration and Conversation in Service-Oriented Computing. [Citation Graph (, )][DBLP ] Programming Sagas in SOCK. [Citation Graph (, )][DBLP ] Bridging the Gap between Interaction- and Process-Oriented Choreographies. [Citation Graph (, )][DBLP ] Contract-Driven Implementation of Choreographies. [Citation Graph (, )][DBLP ] PRISMA: A Mobile Calculus with Parametric Synchronization. [Citation Graph (, )][DBLP ] Tiles for Reo. [Citation Graph (, )][DBLP ] Exploiting User-definable Synchronizations in Graph Transformation. [Citation Graph (, )][DBLP ] Search in 0.017secs, Finished in 0.018secs