Author:
Hennicker Rolf,Wirsing Martin
Publisher
Springer International Publishing
Reference15 articles.
1. Lecture Notes in Computer Science;Y Abd Alrahman,2016
2. Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: DEECO: an ensemble-based component system. In: Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE 2013), pp. 81–90. ACM (2013)
3. Castagna, G., Dezani-Ciancaglini, M., Padovani, L.: On global types and multi-party sessions. Log. Methods Comput. Sci. 8(1), 1–45 (2012)
4. De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Trans. Auton. Adapt. Syst. (TAAS) 9(2), 1–29 (2014)
5. Harel, D., Kozen, D., Tiuryn, J. (eds.): Dynamic Logic. MIT Press, Cambridge (2000)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Realisability of Global Models of Interaction;Theoretical Aspects of Computing – ICTAC 2023;2023
2. Epistemic Ensembles;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022
3. Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022
4. Using component ensembles for modeling autonomic component collaboration in smart farming;Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems;2020-06-29
5. Rigorous engineering of collective adaptive systems: special section;International Journal on Software Tools for Technology Transfer;2020-05-13