CINECA IRIS Institutional Research Information System

Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata

TROINA, ANGELO
2006-01-01
2006
Formal Methods for Open Object-Based Distributed Systems - 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
SPRINGER-VERLAG
LNCS 4037
108
122
9783540348931
9783540348955
R. LANOTTE; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
02A-Contributo in volume
File in questo prodotto:
File Dimensione Formato  
FMOODS06.pdf

Accesso riservato

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 519.26 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
519.26 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/122332
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? ND
social impact