• Selma Lagerløfs Vej 300, 1-2-11

    9220 Aalborg Ø

    Denmark

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

Research Output 2006 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
17 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
2015
6 Citations (Scopus)

Structural Operational Semantics for Continuous State Stochastic Transition Systems

Bacci, G. & Miculan, M., Aug 2015, In : Journal of Computer and System Sciences. 81, 5, p. 834–858

Research output: Contribution to journalJournal articleResearchpeer-review

Structural Operational Semantics
Transition Systems
Stochastic Systems
Semantics
Specifications
2012
7 Citations (Scopus)
63 Downloads (Pure)

Measurable Stochastic for Brane Calculus

Bacci, G. & Miculan, M., May 2012, In : Theoretical Computer Science. 431, p. 117-136

Research output: Contribution to journalJournal articleResearchpeer-review

File
Branes
Calculus
Semantics
Congruence
Syntactics