Compositional bisimulation metric reasoning with Probabilistic Process Calculi

Daniel Gebler, Kim Guldstrand Larsen, Simone Tini

Research output: Contribution to journalConference article in JournalResearch

22 Citations (Scopus)
Original languageEnglish
JournalLogical Methods in Computer Science
Volume12
Issue number4
ISSN1860-5974
DOIs
Publication statusPublished - 2017

Cite this