Stability-Based Adaptation of Asynchronously Communicating Software-Reference-Cited by-同舟云学术

Stability-Based Adaptation of Asynchronously Communicating Software

Published:2016 Issue: Volume: Page:321-336
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Canal Carlos,Salaün Gwen

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-41591-8_22

Reference26 articles.

1. Lecture Notes in Computer Science;L Akroun,2016

2. Lecture Notes in Computer Science;A Bennaceur,2013

3. Bertoli, P., Pistore, M., Traverso, P.: Automated composition of web services via planning in asynchronous domains. Artif. Intell. 174(3–4), 316–361 (2010)

4. Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323–342 (1983)

5. Cámara, J., Martín, J.A., Salaün, G., Cubo, J., Ouederni, M., Canal, C., Pimentel, E.: ITACA: an integrated toolbox for the automatic composition and adaptation of web services. In: Proceedings of ICSE 2009, pp. 627–630. IEEE (2009)

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

1. Modeling Interactions among Cyber-Physical Services;2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2022-09-12

2. Compatibility checking for cyber‐physical systems based on microservices;Software: Practice and Experience;2022-07-31

3. Automated verification of automata communicating via FIFO and bag buffers;Formal Methods in System Design;2017-06-20