X-Klaim Is Back-Reference-Cited by-同舟云学术

X-Klaim Is Back

Published:2019 Issue: Volume: Page:115-135
ISSN:0302-9743
Container-title:Models, Languages, and Tools for Concurrent and Distributed Programming
language:
Short-container-title:

Author:

Bettini Lorenzo^ORCID,Merelli Emanuela^ORCID,Tiezzi Francesco^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-21485-2_8

Reference53 articles.

1. GigaSpaces XAP v14.0 Documentation. https://docs.gigaspaces.com/xap/14.0/

2. Lecture Notes in Computer Science;A Acharya,1997

3. Arnold, K., Scheifler, R., Waldo, J., O’Sullivan, B., Wollrath, A.: Jini Specification. Addison-Wesley, Boston (1999)

4. Atkinson, A.: Tupleware: A Distributed Tuple Space for the Development and Execution of Array-Based Applications in a Cluster Computing Environment. University of Tasmania, School of Computing and Information Systems thesis (2010)

5. Lecture Notes in Computer Science;L Bettini,2005

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

1. Rigorous engineering of collective adaptive systems – 2nd special section;International Journal on Software Tools for Technology Transfer;2023-11-14

2. Coordinating and programming multiple ROS-based robots with X-KLAIM;International Journal on Software Tools for Technology Transfer;2023-11-02

3. Programming Multi-robot Systems with X-KLAIM;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022

4. Anemone: A workbench for the Multi-Bach coordination language;Science of Computer Programming;2021-02

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