Springer
Lecture Notes in Computer Science
International Symposium on Formal Methods for Components and Objects
Software Analysis and Transformation

Fokkink, W.J, van Glabbeek, R.J, & de Wind, P. (2006). Divide and congruence: from decomposition of modalities to preservation of branching bisimulation. In Proceedings of the 4th Symposium on Divide and congruence: from decomposition of modalities to preservation of branching bisimulation (pp. 195–218). Springer.