Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 2013 2019

Filter
Tidsskriftartikel
2019

Converging from branching to linear metrics on Markov chains

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Markov processes
Branching
Markov chain
Semantics
Linear Time
2017
Åben adgang
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, I : Logical Methods in Computer Science. 13, 2

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
Markov processes
Linear Program
Continuous-time Markov Chain
Polynomials
State Space