Publication | Closed Access

Performance measure sensitive congruences for Markovian process algebras

Integrable ProbabilityMarkov KernelMarkovian Process AlgebrasProbability TheoryProcess Calculus