A Distributed Coordination Infrastructure for Attribute-Based Interaction-Reference-Cited by-同舟云学术

A Distributed Coordination Infrastructure for Attribute-Based Interaction

Published:2018 Issue: Volume: Page:1-20
ISSN:0302-9743
Container-title:Formal Techniques for Distributed Objects, Components, and Systems
language:
Short-container-title:

Author:

Alrahman Yehia Abd^ORCID,De Nicola Rocco^ORCID,Garbi Giulio^ORCID,Loreti Michele^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-92612-4_1

Reference20 articles.

1. Lecture Notes in Computer Science;Y Abd Alrahman,2016

2. Lecture Notes in Computer Science;Y Abd Alrahman,2016

3. Abd Alrahman, Y., De Nicola, R., Loreti, M.: Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. ArXiv e-prints, October 2017. http://arxiv.org/abs/1711.06092

4. Abd Alrahman, Y., De Nicola, R., Loreti, M., Tiezzi, F., Vigo, R.: A calculus for attribute-based communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, SAC 2015, pp. 1840–1845. ACM (2015). https://doi.org/10.1145/2695664.2695668

5. Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)

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

1. Fluidware: An Approach Toward Adaptive and Scalable IoT Systems;Internet of Things;2024

2. Provably correct implementation of the AbC calculus;Science of Computer Programming;2021-02

3. Programming interactions in collective adaptive systems by relying on attribute-based communication;Science of Computer Programming;2020-06

4. A distributed API for coordinating AbC programs;International Journal on Software Tools for Technology Transfer;2020-02-28

5. A formal approach to the engineering of domain-specific distributed systems;Journal of Logical and Algebraic Methods in Programming;2020-02