Submitted: October 2022


Acyclic phase-type distributions (APH), the probability distributions generated the time to absorption in an acyclic Continuous Time Markov Chain (CTMC), are a popular tool for modelling time-dependent systems in the real world, as they are very well understood mathematically and closed under typical operations on distributions.

This bachelors thesis presents a general method which, given the structure of an APH distribution as an expression in the CCC process calculus together with annotations regarding the moments of certain sub-expressions, finds a concrete APH distribution that matches the specification, if one exists.