Divide and Congruence II

DOI10.1145/2933575.2933590zbMath1392.68299OpenAlexW2343655549MaRDI QIDQ4635941

W. J. Fokkink, Robert J. 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)

Related Items (8)

Unnamed Item ⋮ 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 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Divide and congruence III: Stability & divergence

This page was built for publication: Divide and Congruence II