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)

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

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)