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

Gebler, D., & Tini, S. (2014). Fixed-point Characterization of Compositionality Properties of Probabilistic Process Combinators. In Proc. 21th Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics - EXPRESS/SOS'14 (pp. 63-78). EPTCS.