The following pages link to Giorgio Bacci (Q418839):
Displaying 26 items.
- Measurable stochastics for Brane calculus (Q418841) (← links)
- Timed comparisons of semi-Markov processes (Q1647713) (← links)
- On the metric-based approximate minimization of Markov chains (Q1785848) (← links)
- Complete axiomatization for the total variation distance of Markov chains (Q2130580) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Converging from Branching to Linear Metrics on Markov Chains (Q2787435) (← links)
- Finding a Forest in a Tree (Q2811922) (← links)
- Computing Behavioral Distances, Compositionally (Q2849899) (← links)
- Undecidability of model checking in brane logic (Q2864500) (← links)
- DBtk: A Toolkit for Directed Bigraphs (Q2888502) (← links)
- Structural Operational Semantics for Continuous State Probabilistic Processes (Q2914677) (← links)
- On the Total Variation Distance of Semi-Markov Chains (Q2949439) (← links)
- On the Statistical Thermodynamics of Reversible Communicating Processes (Q3090855) (← links)
- (Q4558787) (← links)
- Converging from branching to linear metrics on Markov chains (Q4559599) (← links)
- (Q4608673) (← links)
- (Q5111436) (← links)
- An Algebraic Theory of Markov Processes (Q5145344) (← links)
- Quantitative Equational Reasoning (Q5150954) (← links)
- (Q5278079) (← links)
- On-the-Fly Exact Computation of Bisimilarity Distances (Q5326310) (← links)
- Bisimulation on Markov Processes over Arbitrary Measurable Spaces (Q5418956) (← links)
- (Q5856412) (← links)
- (Q5875370) (← links)
- Tensor of quantitative equational theories (Q6061665) (← links)
- Sum and tensor of quantitative effects (Q6635519) (← links)
