Author of the publication

Functional Programming for Distributed Systems with XC.

, , , , and . ECOOP, volume 222 of LIPIcs, page 20:1-20:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Engineering collective intelligence at the edge with aggregate processes., , , , and . Eng. Appl. Artif. Intell., (2021)Distributed runtime verification by past-CTL and the field calculus., , , , and . J. Syst. Softw., (2022)Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes., , and . ACSOS-C, page 297-298. IEEE, (2021)Functional Programming for Distributed Systems with XC., , , , and . ECOOP, volume 222 of LIPIcs, page 20:1-20:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Distributed Real-Time Shortest-Paths Computations with the Field Calculus., , , and . RTSS, page 23-34. IEEE Computer Society, (2018)Field-based Coordination with the Share Operator., , , , and . Log. Methods Comput. Sci., (2020)FCPP: an efficient and extensible Field Calculus framework.. ACSOS, page 153-159. IEEE, (2020)Enumeration of the adjunctive hierarchy of hereditarily finite sets., , and . J. Log. Comput., 25 (3): 943-963 (2015)Enumeration of the adjunctive hierarchy of hereditarily finite sets., and . CoRR, (2013)Resilient Distributed Collection Through Information Speed Thresholds., , , and . COORDINATION, volume 12134 of Lecture Notes in Computer Science, page 211-229. Springer, (2020)