Trustworthy Systems

Divide and congruence II: delay and weak bisimilarity

Authors

Wan Fokkink and Rob van Glabbeek

Free University of Amsterdam

Data61
CSIRO

UNSW

Abstract

Earlier we presented a method to decompose modal formulas for processes with the internal action τ; 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 formulas in the modal characterisation of this semantics are always decomposed into formulas in this modal characterisation. Here the decomposition method is enhanced to deal with modal characterisations that contain a modality <τ*a>φ, to derive congruence formats for delay and weak bisimilarity.

BibTeX Entry

  @inproceedings{Fokkink_Glabbeek_16,
    address          = {New York City, USA},
    author           = {Fokkink, Wan and van Glabbeek, Robert},
    booktitle        = {Proceedings of the 31st Annual IEEE Symposium on Logic in Computer Science},
    doi              = {10.1145/2933575.2933590},
    keywords         = {structural operational semantics, congruence formats, weak bisimilarity, modal characterisation.},
    month            = jul,
    pages            = {778--787},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9354.pdf},
    publisher        = {ACM},
    title            = {Divide and Congruence {II}: Delay and Weak Bisimilarity},
    year             = {2016}
  }

Download