Fixed-point Characterization of Compositionality Properties of Probabilistic Process Combinators

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	63-78
Number of pages	16
Journal	Electronic Proceedings in Theoretical Computer Science (EPTCS)
Volume	160
DOIs	https://doi.org/10.4204/EPTCS.160.7
Publication status	Published - 2014

Access to Document

@article{5eb89e6f302042168a81c1fea15c8a48,

title = "Fixed-point Characterization of Compositionality Properties of Probabilistic Process Combinators",

author = "D. Gebler and S. Tini",

year = "2014",

doi = "10.4204/EPTCS.160.7",

language = "English",

volume = "160",

pages = "63--78",

journal = "Electronic Proceedings in Theoretical Computer Science (EPTCS)",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Fixed-point Characterization of Compositionality Properties of Probabilistic Process Combinators

AU - Gebler, D.

AU - Tini, S.

PY - 2014

Y1 - 2014

UR - https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?EXPRESSSOS2014

U2 - 10.4204/EPTCS.160.7

DO - 10.4204/EPTCS.160.7

M3 - Article

SN - 2075-2180

VL - 160

SP - 63

EP - 78

JO - Electronic Proceedings in Theoretical Computer Science (EPTCS)

JF - Electronic Proceedings in Theoretical Computer Science (EPTCS)

ER -