Publications

of M. Montali

Books and proceedings

  1. 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

  1. M. Montali. Proof Procedures. Specification and Verification of Declarative Open Interaction Models, pp 201-227, 2010.
  2. 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