If you made any changes in Pure these will be visible here soon.

Research Output 2013 2019

Filter
Journal article
2019

Converging from branching to linear metrics on Markov chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., Jan 2019, In : Mathematical Structures in Computer Science. 29, Special Issue 1, p. 3-37 35 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Markov processes
Branching
Markov chain
Semantics
Linear Time
2017
Open Access
Axiomatization
Deduction
Markov processes
Markov chain
Equational Logic
16 Downloads (Pure)

On-the-Fly Computation of Bisimilarity Distances

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2017, In : Logical Methods in Computer Science. 13, 2

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Markov processes
Linear Program
Continuous-time Markov Chain
Polynomials
State Space