The eXchange Calculus (XC): A functional programming language design for distributed collective systems-Reference-Cited by-同舟云学术

The eXchange Calculus (XC): A functional programming language design for distributed collective systems

Author:

Audrito Giorgio,Casadei Roberto^ORCID,Damiani Ferruccio^ORCID,Salvaneschi Guido^ORCID,Viroli Mirko^ORCID

Publisher

Elsevier BV

Reference80 articles.

3. MacroSwarm: A field-based compositional framework for swarm programming;Aguzzi,2023

5. Generalizing inference systems by coaxioms;Ancona,2017

Cited by 6 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. Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09

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