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.
EnglishAn expressiveness study of priority in process calculi / C. Versari; N. Busi; R. Gorrieri. - In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. - ISSN 0960-1295. - STAMPA. - 19(6)(2009), pp. 1161-1189.
| Titolo: | An expressiveness study of priority in process calculi |
| Autore/i: | VERSARI, CRISTIAN; BUSI, NADIA; GORRIERI, ROBERTO |
| Autore/i Unibo: | |
| Anno: | 2009 |
| Rivista: | |
| Digital Object Identifier (DOI): | 10.1017/S0960129509990168 |
| Data prodotto definitivo in UGOV: | 2009-12-16 17:17:01 |
| Appare nelle tipologie: | 1.01 Articolo in rivista |
File in questo prodotto:
Eventuali allegati, non sono esposti
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11585/81172
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2018