Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity

Wan Fokkink, Rob J. van Glabbeek. Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity. Inf. Comput., 257:79-113, 2017. [doi]

Abstract

Abstract is missing.