FCPP toolchain
- Presentation of FCPP:
G. Audrito. FCPP: an Efficient and Extensible Field Calculus Framework. IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020. 10.1109/ACSOS49614.2020.00037. - Presentation of the FCPP GUI:
G. Audrito, L. Rapetta, G. Torta. Extensible 3D Simulation of Aggregated Systems in FCPP. International Conference on Coordination Languages and Models, 2022. 10.1007/978-3-031-08143-9_4. - Graph-based data processing in FCPP:
G. Audrito, F. Damiani, G. Torta. Bringing Aggregate Programming Towards the Cloud. Leveraging Applications of Formal Methods, Verification and Validation, 2022. 10.1007/978-3-031-19759-8_19. - Running FCPP on MCU with Miosix:
G. Audrito, F. Damiani, G. Torta. FCPP+Miosix: Scaling Aggregate Programming to Embedded Systems. IEEE Transactions on Parallel and Distributed Systems, 2023. 10.1109/TPDS.2022.3232633. - Running FCPP on MCU with Contiki:
L. Testa, G. Audrito, F. Damiani, G. Torta. Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things. Pervasive and Mobile Computing, 2022. 10.1016/j.pmcj.2022.101658.
General aggregate programming (AP)
- Introduction and formalisation of a calculus for AP:
G. Audrito, R. Casadei, F. Damiani, G. Salvaneschi, M. Viroli. Functional Programming for Distributed Systems with XC. European Conference on Object-Oriented Programming, 2022. 10.4230/LIPIcs.ECOOP.2022.20. - Formalisation of aggregate processes:
G. Audrito, R. Casadei, F. Damiani, G. Torta, M. Viroli. Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. International Conference on Coordination Models and Languages, 2023. 10.1007/978-3-031-35361-1_4. - Survey on AP:
M. Viroli, J. Beal, F. Damiani, G. Audrito, R. Casadei, D. Pianini. From Distributed Coordination to Field Calculus and Aggregate Computing. Journal of Logical and Algebraic Methods in Programming, 2019. 10.1016/j.jlamp.2019.100486.
Further readings on classical AP
- Classic introduction to AP:
J. Beal, D. Pianini, M. Viroli. Aggregate programming for the internet of things. IEEE Computer, 2015. DOI: 10.1109/MC.2015.261. - Formalisation of a classic calculus for AP:
G. Audrito, M. Viroli, F. Damiani, D. Pianini, J. Beal: A Higher-Order Calculus of Computational Fields. ACM Transactions on Computational Logic, 2019. DOI: 10.1145/3285956. - Formalisation of a classic construct for AP:
G. Audrito, J. Beal, F. Damiani, D. Pianini, M. Viroli. Field-based Coordination with the share Operator. Logical Methods in Computer Science, 2020. 10.23638/LMCS-16(4:1)2020. - Classic formalisation of aggregate processes:
R. Casadei, M. Viroli, G. Audrito, D. Pianini, F. Damiani. Aggregate Processes in Field Calculus. International Conference on Coordination Models and Languages, 2019. 10.1007/978-3-030-22397-7_12.
Papers using FCPP for experiments
- H. Zainab, G. Audrito, S. Dasgupta, J. Beal. Improving Collection Dynamics by Monotonic Filtering. eCAS workshop, ACSOS conference, 2020. 10.1109/ACSOS-C51401.2020.00043.
- G. Audrito, R. Casadei, G. Torta. On the Dynamic Evolution of Distributed Computational Aggregates. International Conference on Autonomic Computing and Self-Organizing Systems, 2022. 10.1109/ACSOSC56246.2022.00024.
- G. Audrito, F. Damiani, V. Stolz, G. Torta, M. Viroli. Distributed Runtime Verification by Past-CTL and the Field Calculus. Journal of Systems and Software, 2022. 10.1016/j.jss.2022.111251.
- Y. Mo, G. Audrito, S. Dasgupta, J. Beal. Near-Optimal Knowledge-Free Resilient Leader Election. Automatica, 2022. 10.1016/j.automatica.2022.110583.
- G. Audrito, F. Damiani, S. Rinaldi, L. Chiara Tagliabue, L. Testa, G. Torta. Aggregate Programming for Customized Building Management and Users Preference Implementation. IoT Edge Solutions for Cognitive Buildings, 2023. 10.1007/978-3-031-15160-6_7.