Divide and congruence: from decomposition of modalities to preservation of branching bisimulation

2006

Presented at the International Symposium on Formal Methods for Components and Objects, Amsterdam

Additional Metadata
THEME	Software (theme 1)
Publisher	Springer
Series	Lecture Notes in Computer Science
Conference	International Symposium on Formal Methods for Components and Objects
Organisation	Software Analysis and Transformation
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Fokkink, W., van Glabbeek, R.& de Wind, P. (2006). Divide and congruence: from decomposition of modalities to preservation of branching bisimulation. Proceedings of the 4th Symposium on Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation, 195–218.

See Also
inProceedings Divide and congruence applied to eta-bisimulation W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind
article Computing with actions and communications W.J. Fokkink (Wan) and J.W. Klop (Jan Willem)
inProceedings Divide and congruence applied to eta-bisimulation W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind
article Computing with actions and communications W.J. Fokkink (Wan) and J.W. Klop (Jan Willem)

Publication