An axiomatization of strong distribution bisimulation for a language with a parallel operator and probabilistic choice

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

3 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationFrom Software Engineering to Formal Methods and Tools, and Back
EditorsMaurice H. ter Beek, Alessandro Fantechi, Laura Semini
Place of PublicationCham
PublisherSpringer
Pages449-463
Number of pages15
ISBN (Electronic)978-3-030-30985-5
ISBN (Print)978-3-030-30984-8
DOIs
Publication statusPublished - 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11865 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'An axiomatization of strong distribution bisimulation for a language with a parallel operator and probabilistic choice'. Together they form a unique fingerprint.

Cite this