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

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 th...

Full description

Saved in:
Bibliographic Details
Published in:Information and computation 2017-12, Vol.257, p.79-113
Main Authors: Fokkink, Wan, van Glabbeek, Rob
Format: Article
Language:English
Subjects:
Congruence formats
Modal characterisation
Structural operational semantics
Weak bisimilarity
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0890-5401
1090-2651
DOI:10.1016/j.ic.2017.10.003