Author:
Abid Rim,Salaün Gwen,De Palma Noel,Gueye Soguy Mak-Kare
Publisher
Springer International Publishing
Reference26 articles.
1. Lecture Notes in Computer Science;N Palma De,2013
2. Basu, S., Bultan, T.: Automatic verification of interactions in asynchronous systems with unbounded buffers. In: Proceedings of ASE 2014, pp. 743–754. ACM (2014)
3. Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323–342 (1983)
4. Brogi, A., Canciani, A., Soldani, J., Wang, P.: Modelling the behaviour of management operations in cloud-based applications. In: Proceedings of PNSE 2015, vol. 1372 of CEUR Workshop Proceedings, pp. 191–205 (2015)
5. Buyya, R., Calheiros, R.N., Li, X.: Autonomic cloud computing: open challenges and architectural elements. In: Proceedings of EAIT 2012, pp. 3–10. IEEE Computer Society (2012)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Asynchronous synthesis techniques for coordinating autonomic managers in the cloud;Science of Computer Programming;2017-10
2. Coordinating proactive social devices in a mobile cloud;Proceedings of the International Conference on Mobile Software Engineering and Systems;2016-05-14