Filters: Author is Luis María {Ferrer Fioriti} [Clear All Filters]
“Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms”, Theor. Comput. Sci., vol. 538, pp. 84-102, 2014. paper-256.pdf (689.43 KB)
, “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. paper-14.pdf (469.3 KB)
,