Books and proceedings
- M. Montali. Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach, volume 56. Springer-Verlag New York Inc, 2010.
Articles in journal, book chapters
- M. Montali. Proof Procedures. Specification and Verification of Declarative Open Interaction Models, pp 201-227, 2010.
- M. Montali, P. Torroni, F. Chesani, P. Mello, M. Alberti, and E. Lamma. Abductive logic programming as an effective technology for the static verification of declarative business processes. Fundamenta Informaticae, 102(3):325-361, 2010.
BACK TO INDEX