Author:
Baldoni Matteo,Baroglio Cristina,Capuzzimati Federico,Marengo Elisa,Patti Viviana
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)
2. LNAI;M. Baldoni,2013
3. Baldoni, M., Baroglio, C., Marengo, E.: Behavior-Oriented Commitment-based Protocols. In: Proc. of ECAI. Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 137–142. IOS Press (2010)
4. Baldoni, M., Baroglio, C., Marengo, E., Patti, V.: Constitutive and Regulative Specifications of Commitment Protocols: a Decoupled Approach. ACM Trans. on Int. Sys. and Tech., Spec. Iss. on Agent Communication 4(2) (2013)
5. Baldoni, M., Baroglio, C., Marengo, E., Patti, V.: Grafting Regulations into Business Protocols: Supporting the Analysis of Risks of Violation. In: Antón, A., Baumer, D., Breaux, T., Karagiannis, D. (eds.) Forth International Workshop on Requirements Engineering and Law (RELAW 2011), Held in Conjunction with the 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 30, pp. 50–59. IEEE Xplore (2011)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献