@inproceedings{Lut12, author = {Bas Luttik}, title = {Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics}, booktitle = {IFIP TCS}, year = {2012}, pages = {250-264}, ee = {http://dx.doi.org/10.1007/978-3-642-33475-7_18}, crossref = {IFIPTCS2012}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{IFIPTCS2012, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, booktitle = {IFIP TCS}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {7604}, year = {2012}, isbn = {978-3-642-33474-0}, ee = {http://dx.doi.org/10.1007/978-3-642-33475-7}, bibsource = {DBLP, http://dblp.uni-trier.de} }