Fixed-point Characterization of Compositionality Properties of Probabilistic Process Combinators

D. Gebler, S. Tini

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

Original languageEnglish
Title of host publicationProc. 21th Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics - EXPRESS/SOS'14
PublisherEPTCS
Pages63-78
Publication statusPublished - 2014

Cite this