Additional Metadata
THEME Software (theme 1)
Publisher Springer
Series Lecture Notes in Computer Science
Conference International Symposium on Formal Methods for Components and Objects
Citation
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.