Ohcanbohtosat - Giorgio Bacci

Measurable Stochastics for Brane Calculus Dahkki Giorgio Bacci, Marino Miculan

Viečča ollesdeavstta

Bigraphical models for protein and membrane interactions Dahkki Giorgio Bacci, Davide Grohmann, Marino Miculan

Viečča ollesdeavstta

A framework for protein and membrane interactions Dahkki Giorgio Bacci, Davide Grohmann, Marino Miculan

Viečča ollesdeavstta

Sum and Tensor of Quantitative Effects Dahkki Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon Plotkin

Viečča ollesdeavstta

A Faster-Than Relation for Semi-Markov Decision Processes Dahkki Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen

Viečča ollesdeavstta

On-the-Fly Computation of Bisimilarity Distances Dahkki Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare

Viečča ollesdeavstta

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains Dahkki Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare

Viečča ollesdeavstta

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata Dahkki Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel

Viečča ollesdeavstta