Divide and congruence. II: Delay and weak bisimilarity

DOI10.1145/2933575.2933590zbMATH Open1392.68299OpenAlexW2343655549MaRDI QIDQ4635941FDOQ4635941

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

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 \(\eta \)-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

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)

Cited In (10)

• Probabilistic divide \& congruence: branching bisimilarity
• SOS-based modal decomposition on nondeterministic probabilistic processes
• Divergence and unique solution of equations
• Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity
• SOS specifications for uniformly continuous operators
• Divide and congruence III: Stability & divergence
• Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence
• Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity
• Divide and congruence applied to \(\eta\)-bisimulation
• Title not available (Why is that?)

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)