Publications
Filters: Keyword is Hennessy-Milner Logic [Clear All Filters]
, “A theory for the semantics of continuous systems with stochastic and structural non-determinism”, in YR-CONCUR, Buenos Aires, Argentina, 2013.
paper-291.pdf (96.98 KB)
paper-291.pdf (96.98 KB)