Compositional bisimulation metric reasoning with Probabilistic Process Calculi

Daniel Gebler, Kim Guldstrand Larsen, Simone Tini

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning

Originalsprog	Engelsk
Tidsskrift	Logical Methods in Computer Science
Vol/bind	12
Udgave nummer	4
ISSN	1860-5974
DOI	https://doi.org/10.2168/LMCS-12(4:12)2016
Status	Udgivet - 2017

Adgang til dokumentet

@inproceedings{59ae7befd7884a79adb6a89672908c15,

title = "Compositional bisimulation metric reasoning with Probabilistic Process Calculi",

author = "Daniel Gebler and Larsen, {Kim Guldstrand} and Simone Tini",

year = "2017",

doi = "10.2168/LMCS-12(4:12)2016",

language = "English",

volume = "12",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "International Federation for Computational Logic",

number = "4",

}

TY - GEN

T1 - Compositional bisimulation metric reasoning with Probabilistic Process Calculi

AU - Gebler, Daniel

AU - Larsen, Kim Guldstrand

AU - Tini, Simone

PY - 2017

Y1 - 2017

U2 - 10.2168/LMCS-12(4:12)2016

DO - 10.2168/LMCS-12(4:12)2016

M3 - Conference article in Journal

VL - 12

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

SN - 1860-5974

IS - 4

ER -