Specification and verification of declarative open interaction modelsde Marco MontaliMateriasComputer logicComputational intelligenceDeclarative programming languagesManagement information systemsInformation technologyBusinessEdiciones (3)Specification and Verification of Declarative Open Interaction Models (2011)Springer · ISBN 9783642145391Specification and verification of declarative open interaction models (2010)
EEnterprise Design, Operations, and Computing. EDOC 2022 WorkEnterprise Design, Operations, and Computing. EDOC 2022 Workshops
