Compositional metric reasoning with Probabilistic Process Calculi

D. Gebler, K. Larsen, S. Tini

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProc. 18th Conference on Foundations of Software Science and Computational Structures - FOSSACS'15
PublisherSpringer
Publication statusPublished - 2015

Cite this

Gebler, D., Larsen, K., & Tini, S. (2015). Compositional metric reasoning with Probabilistic Process Calculi. In Proc. 18th Conference on Foundations of Software Science and Computational Structures - FOSSACS'15 Springer.