1. Action Refinement in Process Algebras, vol. 3;Aceto,1992
2. A view of cloud computing;Armbrust;Commun. ACM,2010
3. Automated synthesis of mediators to support component interoperability;Bennaceur;IEEE Trans. Softw. Eng.,2015
4. OpenTOSCA – a runtime for TOSCA-based cloud applications;Binz,2013
5. Behaviour-aware matching of cloud applications;Bonchi,2016