Lecture Notes in Computer Sience, vol. 4916

An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications / M. H. TER BEEK; A. FANTECHI; S. GNESI; AND F. MAZZANTI. - STAMPA. - 4916:(2007), pp. 135-147. (Intervento presentato al convegno FMICS 2007 tenutosi a Berlin nel July 2007).

An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications

FANTECHI, ALESSANDRO;
2007

Abstract

Lecture Notes in Computer Sience, vol. 4916
2007
FMICS 2007
Berlin
July 2007
M. H. TER BEEK; A. FANTECHI; S. GNESI; AND F. MAZZANTI
File in questo prodotto:
File Dimensione Formato  
FMICS07.pdf

accesso aperto

Tipologia: Versione finale referata (Postprint, Accepted manuscript)
Licenza: Open Access
Dimensione 364.38 kB
Formato Adobe PDF
364.38 kB Adobe PDF

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/260246
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact