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.CSL.2017.25
URN: urn:nbn:de:0030-drops-76776
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2017/7677/
Go to the corresponding LIPIcs Volume Portal

Fokkink, Wan ; van Glabbeek, Rob J.

Precongruence Formats with Lookahead through Modal Decomposition

pdf-format:
LIPIcs-CSL-2017-25.pdf (0.5 MB)

Abstract

Bloom, Fokkink & van Glabbeek (2004) presented a method to decompose formulas from Hennessy-Milner logic with regard to a structural operational semantics specification. A term in the corresponding process algebra satisfies a Hennessy-Milner formula if and only if its subterms satisfy certain formulas, obtained by decomposing the original formula. They used this decomposition method to derive congruence formats in the realm of structural operational semantics. In this paper it is shown how this framework can be extended to specifications that include bounded lookahead in their premises. This extension is used in the derivation of a congruence format for the partial trace preorder.

BibTeX - Entry

@InProceedings{fokkink_et_al:LIPIcs:2017:7677,
  author =	{Wan Fokkink and Rob J. van Glabbeek},
  title =	{{Precongruence Formats with Lookahead through Modal Decomposition}},
  booktitle =	{26th EACSL Annual Conference on Computer Science Logic (CSL 2017)},
  pages =	{25:1--25:20},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-045-3},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{82},
  editor =	{Valentin Goranko and Mads Dam},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7677},
  URN =		{urn:nbn:de:0030-drops-76776},
  doi =		{10.4230/LIPIcs.CSL.2017.25},
  annote =	{Keywords: Structural Operational Semantics, Compositionality, Congruence, Modal Logic, Modal Decomposition, Lookahead}
}

Keywords: Structural Operational Semantics, Compositionality, Congruence, Modal Logic, Modal Decomposition, Lookahead
Collection: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
Issue Date: 2017
Date of publication: 16.08.2017

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