Original language | English |
---|---|
Title of host publication | Proc. 21th Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics - EXPRESS/SOS'14 |
Publisher | EPTCS |
Pages | 63-78 |
Publication status | Published - 2014 |
Fixed-point Characterization of Compositionality Properties of Probabilistic Process Combinators
D. Gebler, S. Tini
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review