Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity

Wan Fokkink, Rob van Glabbeek

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

Earlier we presented a method to decompose modal formulas for processes with the internal action τ, and congruence formats for branching and η-bisimilarity were derived on the basis of this decomposition method. 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. In this follow-up paper the decomposition method is enhanced to deal with modal characterisations that contain a modality 〈ϵ〉〈a〉φ, to derive congruence formats for delay and weak bisimilarity.

Original languageEnglish
Pages (from-to)79-113
Number of pages35
JournalInformation and Computation
Volume257
DOIs
Publication statusPublished - 1 Dec 2017

Fingerprint

Preservation
Congruence
Divides
Decomposition Method
Decomposition
Decompose
Semantics
Modality
Branching
Internal

Keywords

  • Congruence formats
  • Modal characterisation
  • Structural operational semantics
  • Weak bisimilarity

Cite this

@article{be1e68b498fd494cb16994232203775a,
title = "Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity",
abstract = "Earlier we presented a method to decompose modal formulas for processes with the internal action τ, and congruence formats for branching and η-bisimilarity were derived on the basis of this decomposition method. 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. In this follow-up paper the decomposition method is enhanced to deal with modal characterisations that contain a modality 〈ϵ〉〈a〉φ, to derive congruence formats for delay and weak bisimilarity.",
keywords = "Congruence formats, Modal characterisation, Structural operational semantics, Weak bisimilarity",
author = "Wan Fokkink and {van Glabbeek}, Rob",
year = "2017",
month = "12",
day = "1",
doi = "10.1016/j.ic.2017.10.003",
language = "English",
volume = "257",
pages = "79--113",
journal = "Information and Computation",
issn = "0890-5401",
publisher = "Elsevier Inc.",

}

Divide and congruence II : From decomposition of modal formulas to preservation of delay and weak bisimilarity. / Fokkink, Wan; van Glabbeek, Rob.

In: Information and Computation, Vol. 257, 01.12.2017, p. 79-113.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Divide and congruence II

T2 - From decomposition of modal formulas to preservation of delay and weak bisimilarity

AU - Fokkink, Wan

AU - van Glabbeek, Rob

PY - 2017/12/1

Y1 - 2017/12/1

N2 - Earlier we presented a method to decompose modal formulas for processes with the internal action τ, and congruence formats for branching and η-bisimilarity were derived on the basis of this decomposition method. 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. In this follow-up paper the decomposition method is enhanced to deal with modal characterisations that contain a modality 〈ϵ〉〈a〉φ, to derive congruence formats for delay and weak bisimilarity.

AB - Earlier we presented a method to decompose modal formulas for processes with the internal action τ, and congruence formats for branching and η-bisimilarity were derived on the basis of this decomposition method. 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. In this follow-up paper the decomposition method is enhanced to deal with modal characterisations that contain a modality 〈ϵ〉〈a〉φ, to derive congruence formats for delay and weak bisimilarity.

KW - Congruence formats

KW - Modal characterisation

KW - Structural operational semantics

KW - Weak bisimilarity

UR - http://www.scopus.com/inward/record.url?scp=85032920405&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85032920405&partnerID=8YFLogxK

U2 - 10.1016/j.ic.2017.10.003

DO - 10.1016/j.ic.2017.10.003

M3 - Article

VL - 257

SP - 79

EP - 113

JO - Information and Computation

JF - Information and Computation

SN - 0890-5401

ER -