A Type System for Client Progress in a Service-Oriented Calculus / L.Acciai; M.Boreale. - STAMPA. - (2008), pp. 642-658. [10.1007/978-3-540-68679-8_40]

A Type System for Client Progress in a Service-Oriented Calculus

ACCIAI, LUCIA;BOREALE, MICHELE
2008

2008
9783540686767
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
642
658
L.Acciai; M.Boreale
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/380150
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 34
  • ???jsp.display-item.citation.isi??? 26
social impact