Professore ordinario
Dipartimento di Informatica - Scienza e Ingegneria
Settore scientifico disciplinare: IINF-05/A Sistemi di elaborazione delle informazioni
Presidente del Consiglio di Campus di Cesena
Omicini Andrea; Ricci Alessandro; Denti Enrico; Viroli Mirko; Zambonelli Franco; Bellavia Giuseppe, TuCSoN: an Internet-based Infrastructure for the Coordination of Open and Distributed Multi-agent Systems, 2004. [software]
Mirko Viroli, Verifying Properties of Coordination by Well-Structured Transition Systems, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 97, pp. 67 - 96 [articolo]
Al momento non sono presenti avvisi.
Accedi tramite login per gestire tutti i contenuti del sito.
