Specification and verification of declarative open interaction models by Marco Montali | Menrva Books | MenrvaBooks