Publications

Export 2 results:
Author Title Type [ Year(Desc)]
Filters: Author is Luis María {Ferrer Fioriti}  [Clear All Filters]
2009
S. Giro, D'Argenio, P. R., and Ferrer Fioriti, L. M., “Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers”, in CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009, vol. LNCS 5710, pp. 338-353.PDF icon paper-14.pdf (469.3 KB)
2014
S. Giro, D'Argenio, P. R., and Ferrer Fioriti, L. M., “Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms”, Theoretical Computer Science, vol. 538, pp. 84-102, 2014.PDF icon paper-425.pdf (689.43 KB)

Dependable Systems Group - FaMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054

Powered by Drupal