BibSonomy :: author  ::

bookmarks

publications

(30)

• History Dependent Automata for Service Compatibility.
  Vincenzo Ciancia and Gian-Luigi Ferrari and Marco Pistore and Emilio Tuosto Concurrency, Graphs and Models 625-641 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Event-Based Service Coordination.
  Gian Luigi Ferrari and Roberto Guanciale and Daniele Strollo and Emilio Tuosto Concurrency, Graphs and Models 312-329 (2008)
  to dblp by dblp on 2008-06-16 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  
• Service Oriented Architectural Design.
  Roberto Bruni and Alberto Lluch-Lafuente and Ugo Montanari and Emilio Tuosto TGC 186-203 (2007)
  to dblp by dblp on 2008-04-15 00:00:00
  | URL | BibTeX  
• A symbolic framework for multi-faceted security protocol analysis.
  Andrea Bracciali and GianLuigi Ferrari and Emilio Tuosto Int. J. Inf. Sec. 7 55-84 (2008)
  to dblp by dblp on 2008-03-11 00:00:00
  | URL | BibTeX  
• Coordination Via Types in an Event-Based Framework.
  GianLuigi Ferrari and Roberto Guanciale and Daniele Strollo and Emilio Tuosto FORTE 66-80 (2007)
  to dblp by dblp on 2007-07-09 00:00:00
  | URL | BibTeX  
• Synchronised Hyperedge Replacement as a Model for Service Oriented Computing.
  Gian Luigi Ferrari and Dan Hirsch and Ivan Lanese and Ugo Montanari and Emilio Tuosto FMCO 22-43 (2005)
  to dblp by dblp on 2006-12-15 00:00:00
  | URL | BibTeX  
• Translating Orc Features into Petri Nets and the Join Calculus.
  Roberto Bruni and Hernán C. Melgratti and Emilio Tuosto WS-FM 123-137 (2006)
  to dblp by dblp on 2006-10-31 00:00:00
  | URL | BibTeX  
• A Logic for Application Level QoS.
  Dan Hirsch and Alberto Lluch-Lafuente and Emilio Tuosto Electr. Notes Theor. Comput. Sci. 153 135-159 (2006)
  to dblp by dblp on 2006-07-24 00:00:00
  | URL | BibTeX  
• An Observational Model for Spatial Logics.
  Emilio Tuosto and Hugo Torres Vieira Electr. Notes Theor. Comput. Sci. 142 229-254 (2006)
  to dblp by dblp on 2006-02-20 00:00:00
  | URL | BibTeX