Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity

Select |




Print


Fokkink, Wan; van Glabbeek, Robert

Fokkink, Wan; van Glabbeek, Robert


2016-04-26


Report


Sydney, Australia


9351


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.


Structural operational semantics, congruence formats, weak bisimilarity, modal characterisation


http://www.cse.unsw.edu.au/~rvg/dc-weak.pdf


1833-9646-9351


nicta:9351


Fokkink, Wan; van Glabbeek, Robert. Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity. 2016-04-26. nicta:9351.



Loading citation data...

Citation counts
(Requires subscription to view)