Divide and Congruence II: Delay and Weak Bisimilarity

Wan Fokkink, Rob van Glabbeek

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationProceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
Place of PublicationNew York, NY, USA
PublisherAssociation for Computing Machinery, Inc
Pages778–787
Number of pages10
ISBN (Electronic)9781450343916
DOIs
Publication statusPublished - 5 Jul 2016
Event31st Annual ACM/IEEE Symposium on Logic in Computer Science - New York City, United States
Duration: 5 Jul 20168 Jul 2016
http://lics.siglog.org/lics16/

Publication series

NameLICS '16
PublisherAssociation for Computing Machinery

Conference

Conference31st Annual ACM/IEEE Symposium on Logic in Computer Science
Abbreviated titleLICS 2016
Country/TerritoryUnited States
CityNew York City
Period5/07/168/07/16
Internet address

Fingerprint

Dive into the research topics of 'Divide and Congruence II: Delay and Weak Bisimilarity'. Together they form a unique fingerprint.

Cite this