https://5dok.net/document/z3dov8n9-alinearprocess-algebraicformatforprobabilisticsystemswithdata-th-international-conference-application-concurrency-design.html