PiDuce: a process calculus with native XML datatypes / A. Brown; C. Laneve; G. Meredith. - STAMPA. - 3670(2005), pp. 18-34. ((Intervento presentato al convegno Second International on Web Services and Formal Methods (WS-FM 05) tenutosi a Versailles, Parigi nel 3-4 Settembre 2005.
Titolo: | PiDuce: a process calculus with native XML datatypes |
Autore/i: | A. Brown; LANEVE, COSIMO; G. Meredith |
Autore/i Unibo: | |
Anno: | 2005 |
Titolo del libro: | Second International on Web Services and Formal Methods (WS-FM 05), in "Lecture Notes in Computer Science", vol. 3670 (2005) |
Pagina iniziale: | 18 |
Pagina finale: | 34 |
Data prodotto definitivo in UGOV: | 6-ott-2005 |
Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.