Divide and Congruence II: Delay and Weak Bisimilarity

Select |




Print


Fokkink, Wan; van Glabbeek, Robert

Fokkink, Wan; van Glabbeek, Robert


2016-07-05


Conference Material


Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science


New York City, USA


778-787


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.


ACM


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


https://doi.org/10.1145/2933575.2933590


http://lics.rwth-aachen.de/lics16/


© 2016


English


nicta:9354


Fokkink, Wan; van Glabbeek, Robert. Divide and Congruence II: Delay and Weak Bisimilarity. In: Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science; New York City, USA. ACM; 2016-07-05. 778-787. https://doi.org/10.1145/2933575.2933590



Loading citation data...

Citation counts
(Requires subscription to view)