Publications
Filters: Keyword is Interleaving [Clear All Filters]
, “Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms”, Theoretical Computer Science, vol. 538, pp. 84-102, 2014.
paper-425.pdf (689.43 KB)
paper-425.pdf (689.43 KB)