XPi: A Typed Process Calculus for XML Messaging / L.ACCIAI; M. BOREALE. - STAMPA. - (2005), pp. 47-66. [10.1007/11494881_4]

XPi: A Typed Process Calculus for XML Messaging

ACCIAI, LUCIA;BOREALE, MICHELE
2005

2005
9783540261810
Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
47
66
L.ACCIAI; M. BOREALE
File in questo prodotto:
File Dimensione Formato  
fmoods2005.pdf

Accesso chiuso

Tipologia: Versione finale referata (Postprint, Accepted manuscript)
Licenza: Tutti i diritti riservati
Dimensione 376.39 kB
Formato Adobe PDF
376.39 kB Adobe PDF   Richiedi una copia

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