Publisher
Springer International Publishing
Reference15 articles.
1. Alrahman, Y.A., Nicola, R.D., Loreti, M.: Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192, 102428 (2020)
2. Lecture Notes in Computer Science;L Bettini,2003
3. Bisong, E.: Google Colaboratory, pp. 59–64. Apress, Berkeley, CA (2019)
4. Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: a tutorial. Perform. Eval. 70(5), 317–349 (2013)
5. Kluyver, T., et al.: Jupyter notebooks - a publishing format for reproducible computational workflows. In: Loizides, F., Schmidt, B. (eds.), Positioning and Power in Academic Publishing: Players, Agents and Agendas, pp. 87–90. IOS Press (2016)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Sibilla: A tool for reasoning about collective systems;Science of Computer Programming;2024-07
2. Visualisation of Collective Systems with Sequit and Sibilla;Lecture Notes in Computer Science;2024
3. Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks;Lecture Notes in Computer Science;2023
4. YODA: Yet anOther agent Description lAnguage;2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C);2022-09