Author:
Autili Marco,Di Salle Amleto,Tivoli Massimo
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Lecture Notes in Computer Science;F. Arbab,2013
2. Lecture Notes in Computer Science;M. Autili,2013
3. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook: theory, implementation, and applications. Cambridge University Press (2003)
4. Basu, S., Bultan, T.: Choreography conformance via synchronizability. In: Proc. of WWW 2011, pp. 795–804 (2011)
5. Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, pp. 191–202. ACM (2012)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献