CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishPiDuce: 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.
Copyright © 2018