1. Abadi, M., Plotkin, G.D.: A logical view of composition. Theoretical Computer Science 114(1), 3–30 (1993)
2. Antonik, A., Huth, M., Larsen, K.G., Nyman, U., Wasowski, A.: 20 years of modal and mixed specifications. Bulletin of the EATCS 95, 94–129 (2008)
3. Baldan, P., Bracciali, A., Bruni, R.: A semantic framework for open processes. Theoretical Computer Science 389(3), 446–483 (2007)
4. Bensalem, S., Bozga, M., Nguyen, T.-H., Sifakis, J.: Compositional verification for component-based systems and application. IET Software, Special Issue on Automated Compositional Verification: Techniques, Applications and Empirical Studies 4(3), 181–193 (2010)
5. Lecture Notes in Computer Science;S. Berezin,1998