|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 47 publication records. Showing 47 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the expressiveness and decidability of higher-order process calculi.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, António Ravara, Hugo Torres Vieira |
Behavioral Theory for Session-Oriented Calculi. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro |
Advanced Mechanisms for Service Combination and Transactions. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino |
Tools and Verification. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
Controlling Reversibility in Higher-Order Pi. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro |
Fault in the Future. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro |
Graceful Interruption of Request-Response Service Interactions. |
ICSOC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Davide Sangiorgi |
An operational semantics for a calculus for wireless systems. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese |
Static vs Dynamic SAGAs |
ICE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
Reversing Higher-Order Pi. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter |
A Component Model for the ABS Language. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo |
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Fabrizio Montesi |
Error Handling: From Theory to Practice. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi |
A Framework for Rule-Based Dynamic Adaptation. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Cátia Vaz, Carla Ferreira |
On the Expressive Power of Primitives for Compensation Handling. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro |
Dynamic Error Handling in Service Oriented Applications. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Gianluigi Zavattaro |
Programming Sagas in SOCK. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness of Polyadicity in Higher-Order Process Calculi. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bruni, Ivan Lanese |
Parametric synchronizations in mobile nominal calculi. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese |
Exploiting User-definable Synchronizations in Graph Transformation. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos |
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Montesi, Claudio Guidi, Ivan Lanese, Gianluigi Zavattaro |
Dynamic Fault Handling Mechanisms for Service-Oriented Applications. |
ECOWS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro |
Bridging the Gap between Interaction- and Process-Oriented Choreographies. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro |
On the interplay between fault handling and request-response service invocations. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto |
Multiparty Sessions in SOC. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari |
Tiles for Reo. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Hernán C. Melgratti |
Synchronous Multiparty Synchronizations and Transactions. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness and Decidability of Higher-Order Process Calculi. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages |
| 1 | Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro |
Contract-Driven Implementation of Choreographies. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Ugo Montanari |
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara |
Disciplining Orchestration and Conversation in Service-Oriented Computing. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese |
Concurrent and Located Synchronizations in pi-Calculus. |
SOFSEM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Ivan Lanese, Ugo Montanari |
A basic algebra of stateless connectors. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Ugo Montanari |
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Mazzara, Ivan Lanese |
Towards a Unifying Theory for Web Services Composition. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Ivan Lanese |
PRISMA: A Mobile Calculus with Parametric Synchronization. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Ugo Montanari |
Synchronization Algebras with Mobility for Graph Transformations. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Ugo Montanari |
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ivan Lanese, Emilio Tuosto |
Synchronized Hyperedge Replacement for Heterogeneous Systems. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Ugo Montanari |
Insights emerged while comparing three models for global computing. |
Foundations of Global Computing |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto |
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Ivan Lanese, Ugo Montanari |
Complete Axioms for Stateless Connectors. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Ugo Montanari |
A Graphical Fusion Calculus. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Ivan Lanese |
Summary 3: On Graph(ic) Encodings. |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
2004 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari |
New Insights on Architectural Connectors. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
Displaying result #1 - #47 of 47 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")