License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CONCUR.2017.15
URN: urn:nbn:de:0030-drops-77855
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2017/7785/
Go to the corresponding LIPIcs Volume Portal

Fokkink, Wan ; van Glabbeek, Rob ; Luttik, Bas

Divide and Congruence III: Stability & Divergence

pdf-format:
LIPIcs-CONCUR-2017-15.pdf (0.5 MB)

Abstract

In two earlier papers we derived congruence formats for weak semantics on the basis of a decomposition method for modal formulas. The idea is that a congruence format for a semantics must ensure that the formulas in the modal characterisation of this semantics are always decomposed into formulas that are again in this modal characterisation. Here this work is extended with important stability and divergence requirements. Stability refers to the absence of a tau-transition. We show, using the decomposition method, how congruence formats can be relaxed for weak semantics that are stability-respecting. Divergence, which refers to the presence of an infinite sequence of tau-transitions, escapes the inductive decomposition method. We circumvent this problem by proving that a congruence format for a stability-respecting weak semantics is also a congruence format for its divergence-preserving counterpart.

BibTeX - Entry

@InProceedings{fokkink_et_al:LIPIcs:2017:7785,
  author =	{Wan Fokkink and Rob van Glabbeek and Bas Luttik},
  title =	{{Divide and Congruence III: Stability & Divergence}},
  booktitle =	{28th International Conference on Concurrency Theory (CONCUR 2017)},
  pages =	{15:1--15:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-048-4},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{85},
  editor =	{Roland Meyer and Uwe Nestmann},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7785},
  URN =		{urn:nbn:de:0030-drops-77855},
  doi =		{10.4230/LIPIcs.CONCUR.2017.15},
  annote =	{Keywords: Structural Operational Semantics, Compositionality, Congruence, Modal Logic, Modal Decomposition, Weak Semantics, Divergence}
}

Keywords: Structural Operational Semantics, Compositionality, Congruence, Modal Logic, Modal Decomposition, Weak Semantics, Divergence
Collection: 28th International Conference on Concurrency Theory (CONCUR 2017)
Issue Date: 2017
Date of publication: 01.09.2017

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI