BibSonomy :: author  ::

bookmarks

publications

(22)

• On the Expressiveness and Decidability of Higher-Order Process Calculi.
  Ivan Lanese and Jorge A. Pérez and Davide Sangiorgi and Alan Schmitt LICS 145-155 (2008)
  to dblp by dblp on 2008-06-28 00:00:00
  | URL | BibTeX  
• Synchronous Multiparty Synchronizations and Transactions.
  Ivan Lanese and Hernán C. Melgratti Concurrency, Graphs and Models 76-95 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Mapping Fusion and Synchronized Hyperedge Replacement into logic programming.
  Ivan Lanese and Ugo Montanari TPLP 7 123-151 (2007)
  to dblp by dblp on 2008-06-12 00:00:00
  | URL | BibTeX  
• Exploiting User-definable Synchronizations in Graph Transformation.
  Ivan Lanese Electr. Notes Theor. Comput. Sci. 211 27-38 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.
  Luís Cruz-Filipe and Ivan Lanese and Francisco Martins and António Ravara and Vasco Thudichum Vasconcelos FMOODS 59-77 (2008)
  to dblp by dblp on 2008-06-05 00:00:00
  | URL | BibTeX  
• Multiparty Sessions in SOC.
  Roberto Bruni and Ivan Lanese and Hernán C. Melgratti and Emilio Tuosto COORDINATION 67-82 (2008)
  to dblp by dblp on 2008-05-30 00:00:00
  | URL | BibTeX  
• Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming
  Ivan Lanese and Ugo Montanari CoRR abs/cs/0504050 (2005)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Disciplining Orchestration and Conversation in Service-Oriented Computing.
  Ivan Lanese and Francisco Martins and Vasco Thudichum Vasconcelos and António Ravara SEFM 305-314 (2007)
  to dblp by dblp on 2007-12-06 00:00:00
  | URL | BibTeX  
• PRISMA: A Mobile Calculus with Parametric Synchronization.
  Roberto Bruni and Ivan Lanese TGC 132-149 (2006)
  to dblp by dblp on 2007-11-29 00:00:00
  | URL | BibTeX  
• Concurrent and Located Synchronizations in pi-Calculus.
  Ivan Lanese SOFSEM (1) 388-399 (2007)
  to dblp by dblp on 2007-09-13 00:00:00
  | URL | BibTeX