Author:
Benyagoub Sarah,Aït-Ameur Yamine,Ouederni Meriem,Mashkoor Atif
Publisher
Springer International Publishing
Reference6 articles.
1. Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: Proceedings of POPL 2012, pp. 191–202. ACM (2012)
2. Basu, S., Bultan, T.: Automatic choreography repair (2015)
3. Basu, S., Bultan, T.: Automatic choreography repair. Theor. Comput. Sci. (2015)
4. Farah, Z., Ait-Ameur, Y., Ouederni, M., Tari, K.: A correct-by-construction model for asynchronously communicating systems. Int. J. STTT 1–21 (2016)
5. Güdemann, M., Poizat, P., Salaün, G., Ye, L.: Verchor: a framework for the design and verification of choreographies. IEEE Trans. Serv. Comput. 9(4), 647–660 (2016)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献