Extensible 3D Simulation of Aggregated Systems with FCPP-Reference-Cited by-同舟云学术

Extensible 3D Simulation of Aggregated Systems with FCPP

Published:2022 Issue: Volume: Page:55-71
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Audrito Giorgio^ORCID,Rapetta Luigi,Torta Gianluca^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-08143-9_4

Reference27 articles.

1. Abrahams, D., Gurtovoy, A.: C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond (C++ in Depth Series). Addison-Wesley Professional, Boston (2004)

2. Audrito, G.: FCPP: an efficient and extensible field calculus framework. In: IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020, Washington, DC, USA, 17–21 August 2020, pp. 153–159. IEEE (2020). https://doi.org/10.1109/ACSOS49614.2020.00037

3. Audrito, G., Casadei, R., Torta, G.: Fostering resilient execution of multi-agent plans through self-organisation. In: IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2021, Companion Volume, Washington, DC, USA, September 27 - October 1 2021, pp. 81–86. IEEE (2021). https://doi.org/10.1109/ACSOS-C52956.2021.00076

4. Audrito, G., Casadei, R., Torta, G.: Towards integration of multi-agent planning with self-organising collective processes. In: IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2021, Companion Volume, Washington, DC, USA, September 27 - October 1 2021, pp. 297–298. IEEE (2021). https://doi.org/10.1109/ACSOS-C52956.2021.00042

5. Audrito, G., et al.: RM for users’ safety and security in the built environment. In: VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021, pp. 13–16. ACM (2021). https://doi.org/10.1145/3464974.3468445

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Real-Time Guarantees for SLCS Monitors in XC;Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution;2024-09-13

2. Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties;Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution;2024-09-13

3. The eXchange Calculus (XC): A functional programming language design for distributed collective systems;Journal of Systems and Software;2024-04

4. FCPP to aggregate them all;Science of Computer Programming;2024-01

5. An Enhanced Exchange Operator for XC;Lecture Notes in Computer Science;2024