Author:
Baldoni Matteo,Baroglio Cristina,Martelli Alberto,Patti Viviana
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Alberti, M., Daolio, D., Torroni, P., Gavanelli, M., Lamma, E., Mello, P.: Specification and verification of agent interaction protocols in a logic-based system. In: ACM SAC 2004, pp. 72–78. ACM, New York (2004)
2. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2004)
3. Lecture Notes in Computer Science;M. Baldoni,2003
4. Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about interaction protocols for customizing web service selection and composition. In: Journal of Logic and Algebraic Programming, Special issue on Web Services and Formal Methods (2006) (to appear)
5. Lecture Notes in Computer Science;M. Baldoni,2005
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献