This is a companion archive of the following paper: Frédéric Lang, Radu Mateescu, and Franco Mazzanti. "CompositionalVerification of Concurrent Systems by Combining Bisimulations." Submitted to the 3rd World Congress on Formal Methods, FM 2019. It contains the following material: Lang-Mateescu-Mazzanti-19.pdf Paper with appendix. The appendix contains the proofs of lemmas and theorems as well as detailed experimental results for the TFTP example. It is not supposed to be published in the congress proceedings. TFTP Models, properties, and verification scripts of the Trivial File Transfer Protocol illustrative example presented in Section 4.1 of the paper. RERS Models, properties, and verification scripts of the Parallel Benchmark of the RERS 2018 Challenge illustrative example presented in Section 4.2 of the paper.