@inbook{c997ad0ed56d47da980846683c605cd2,
title = "An axiomatization of strong distribution bisimulation for a language with a parallel operator and probabilistic choice",
abstract = "In the setting of a simple process language featuring non-deterministic choice and a parallel operator on the one hand and probabilistic choice on the other hand, we propose an axiomatization capturing strong distribution bisimulation. Contrary to other process equivalences for probabilistic process languages, in this paper distributions rather than states are the leading ingredients for building the semantics and the accompanying equational theory, for which we establish soundness and completeness.",
author = "Groote, {Jan Friso} and {de Vink}, {Erik P.}",
year = "2019",
doi = "10.1007/978-3-030-30985-5_26",
language = "English",
isbn = "978-3-030-30984-8",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "449--463",
editor = "{ter Beek}, {Maurice H.} and Alessandro Fantechi and Laura Semini",
booktitle = "From Software Engineering to Formal Methods and Tools, and Back",
address = "Germany",
}