Author:
Nguyen Huu Nghia,Poizat Pascal,Zaïdi Fatiha
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Poizat, P.: Formal Model-Based Approaches for the Development of Composite Systems. Habilitation thesis, Université Paris Sud (November 2011),
http://www.lri.fr/~poizat/documents/hdr.pdf
2. Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the Theoretical Foundation of Choreography. In: Proc. of WWW 2007 (2007)
3. Basu, S., Bultan, T.: Choreography Conformance via Synchronizability. In: Proc. of WWW 2011 (2011)
4. Lecture Notes in Computer Science;G. Salaün,2009
5. Li, J., Zhu, H., Pu, G.: Conformance Validation between Choreography and Orchestration. In: Proc. of TASE 2007 (2007)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献