1. Lecture Notes in Computer Science;A Benveniste,2008
2. Benveniste, A., Caillaud, B., Passerone, R.: Multi-viewpoint state machines for rich component models. In: Model-Based Design for Embedded Systems, pp. 487–518. Taylor & Francis (2009)
3. Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM 31(3), 560–599 (1984)
4. Dill, D.L.: Trace theory for automatic hierarchical verification of speed-independent circuits. In: Proceedings of the fifth MIT Conference on Advanced Research in VLSI, pp. 51–65. MIT Press, Cambridge, MA, USA (1988)
5. Furia, C.A.: A Compositional World - a survey of recent works on compositionality in formal methods. Technical Report 22, Dipartimento di Elettronica e Informazione, Politecnico di Milano (2005)