Compositional bisimulation metric reasoning with Probabilistic Process Calculi

Daniel Gebler, Kim Guldstrand Larsen, Simone Tini

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

18 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftLogical Methods in Computer Science
Vol/bind12
Udgave nummer4
ISSN1860-5974
DOI
StatusUdgivet - 2017

Citer dette

@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",

}

Compositional bisimulation metric reasoning with Probabilistic Process Calculi. / Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone.

I: Logical Methods in Computer Science, Bind 12, Nr. 4, 2017.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

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 -