Author:
Montangero Carlo,Semini Laura
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;J.J. Alferes,2005
2. Graduate texts in computer science;R.J.R. Back,1998
3. ENTSC;A. Brogi,2004
4. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Towards a formal framework for Choreography. In: International Workshop on Distributed and Mobile Collaboration (DMC 2005). IEEE Computer Society Press, Los Alamitos
5. Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Logic for Choreographies;Electronic Proceedings in Theoretical Computer Science;2011-10-18
2. Linking denotational semantics with operational semantics for web services;Innovations in Systems and Software Engineering;2010-04-30
3. Service Composition;Service Research Challenges and Solutions for the Future Internet;2010