SCC: A Service Centered Calculus

SCC: a Service Centered Calculus / Michele Boreale; Roberto Bruni; Luis Caires; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins; Ugo Montanari; Antonio Ravara; Davide Sangiorgi; Vasco Vasconcelos; Gianluigi Zavattaro. - STAMPA. - (2006), pp. 38-57. [10.1007/11841197_3]

SCC: a Service Centered Calculus

BOREALE, MICHELE;DE NICOLA, ROCCO;LORETI, MICHELE;
2006

Abstract

SCC: A Service Centered Calculus
2006
9783540388623
Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings.
38
57
Michele Boreale; Roberto Bruni; Luis Caires; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins; Ugo Montanari; Antonio Ravara; Davide Sa...espandi
2a - Art/Cap/Saggio libro scient/tech
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/354638
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 114
  • ???jsp.display-item.citation.isi??? 87
social impact