Compositionality of Approximate Bisimulation for Probabilistic Systems

D. Gebler, S. Tini

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proc. 20th Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics - EXPRESS/SOS'13
Editors	J. Borgström, B. Luttik
Publisher	EPTCS
Pages	32-46
DOIs	https://doi.org/10.4204/EPTCS.120.4
Publication status	Published - 2013

Access to Document

@inproceedings{85ef9f855153426da5c1d7ac4e963700,

title = "Compositionality of Approximate Bisimulation for Probabilistic Systems",

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

year = "2013",

doi = "10.4204/EPTCS.120.4",

language = "English",

pages = "32--46",

editor = "J. Borgstr{\"o}m and B. Luttik",

booktitle = "Proc. 20th Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics - EXPRESS/SOS'13",

publisher = "EPTCS",

}

Compositionality of Approximate Bisimulation for Probabilistic Systems. / Gebler, D.; Tini, S.
Proc. 20th Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics - EXPRESS/SOS'13. ed. / J. Borgström; B. Luttik. EPTCS, 2013. p. 32-46.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Compositionality of Approximate Bisimulation for Probabilistic Systems

AU - Gebler, D.

AU - Tini, S.

PY - 2013

Y1 - 2013

U2 - 10.4204/EPTCS.120.4

DO - 10.4204/EPTCS.120.4

M3 - Conference contribution

SP - 32

EP - 46

BT - Proc. 20th Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics - EXPRESS/SOS'13

A2 - Borgström, J.

A2 - Luttik, B.

PB - EPTCS

ER -