Title: Specification and verification of declarative open interaction models
Subjects: Computer logic, Computational intelligence, Declarative programming languages, Management information systems, Information technology, Business