Unique parallel decomposition in branching and weak bisimulation semantics

Research output: Book/ReportReportAcademic

3 Citations (Scopus)
1 Downloads (Pure)

Abstract

We consider the property of unique parallel decomposition modulo branching and weak bisimilarity. First, we show that infinite behaviours may fail to have parallel decompositions at all. Then, we prove that totally normed behaviours always have parallel decompositions, but that these are not necessarily unique. Finally, we establish that weakly bounded behaviours have unique parallel decompositions. We derive the latter result from a general theorem about unique decompositions in partial commutative monoids.
Original languageEnglish
Publishers.n.
Number of pages21
Publication statusPublished - 2012

Publication series

NamearXiv.org
Volume1205.2117 [cs.LO]

Fingerprint

Bisimulation
Branching
Decompose
Monoids
Modulo
Semantics
Partial
Theorem

Cite this

@book{14e4a2cdb02e419d85643342d686e1c6,
title = "Unique parallel decomposition in branching and weak bisimulation semantics",
abstract = "We consider the property of unique parallel decomposition modulo branching and weak bisimilarity. First, we show that infinite behaviours may fail to have parallel decompositions at all. Then, we prove that totally normed behaviours always have parallel decompositions, but that these are not necessarily unique. Finally, we establish that weakly bounded behaviours have unique parallel decompositions. We derive the latter result from a general theorem about unique decompositions in partial commutative monoids.",
author = "S.P. Luttik",
year = "2012",
language = "English",
series = "arXiv.org",
publisher = "s.n.",

}

Unique parallel decomposition in branching and weak bisimulation semantics. / Luttik, S.P.

s.n., 2012. 21 p. (arXiv.org; Vol. 1205.2117 [cs.LO]).

Research output: Book/ReportReportAcademic

TY - BOOK

T1 - Unique parallel decomposition in branching and weak bisimulation semantics

AU - Luttik, S.P.

PY - 2012

Y1 - 2012

N2 - We consider the property of unique parallel decomposition modulo branching and weak bisimilarity. First, we show that infinite behaviours may fail to have parallel decompositions at all. Then, we prove that totally normed behaviours always have parallel decompositions, but that these are not necessarily unique. Finally, we establish that weakly bounded behaviours have unique parallel decompositions. We derive the latter result from a general theorem about unique decompositions in partial commutative monoids.

AB - We consider the property of unique parallel decomposition modulo branching and weak bisimilarity. First, we show that infinite behaviours may fail to have parallel decompositions at all. Then, we prove that totally normed behaviours always have parallel decompositions, but that these are not necessarily unique. Finally, we establish that weakly bounded behaviours have unique parallel decompositions. We derive the latter result from a general theorem about unique decompositions in partial commutative monoids.

M3 - Report

T3 - arXiv.org

BT - Unique parallel decomposition in branching and weak bisimulation semantics

PB - s.n.

ER -