Divide and congruence. II: Delay and weak bisimilarity

DOI10.1145/2933575.2933590MaRDI QIDQ4635941zbMATH OpenOpenAlexFDO

Authors Wan Fokkink, Rob van Glabbeek

Publication date 23 April 2018

Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2933575.2933590

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity
• Divide and congruence: from decomposition of modal formulas to preservation of branching and -bisimilarity
• Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
• Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence
• Divide and congruence. III: Stability \& divergence

Cited in

(11)

• Divergence and unique solution of equations
• Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence
• Sharp congruences adequate with temporal logics combining weak and strong modalities
• Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity
• Divide and congruence applied to \(\eta\)-bisimulation
• Divide and congruence. III: Stability \& divergence
• Probabilistic divide \& congruence: branching bisimilarity
• SOS specifications for uniformly continuous operators
• Divergence and unique solution of equations
• Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity
• SOS-based modal decomposition on nondeterministic probabilistic processes

This page was built for publication: Divide and congruence. II: Delay and weak bisimilarity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635941)