Agent coordination contexts for the formal specification and enactment of coordination and security policies

DOI10.1016/J.SCICO.2005.07.014MaRDI QIDQ2432762zbMATH OpenOpenAlexWikidataFDO

Authors Andrea Omicini, Alessandro Ricci, Mirko Viroli

Publication date 25 October 2006

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2005.07.014

zbMATH Keywords

agent coordination contextcoordinationformal specificationsecurity

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Objects, Agents, and Features
• scientific article; zbMATH DE number 1975135
• scientific article; zbMATH DE number 5310813
• scientific article; zbMATH DE number 2090955
• Computational Science – ICCS 2005

Cited in

(2)

• Process algebra and constraint programming for modeling interactions in MAS
• An algebraic approach for modelling organisation, roles and contexts in MAS

Describes a project that uses

Uses Software

• MANIFOLD

This page was built for publication: Agent coordination contexts for the formal specification and enactment of coordination and security policies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2432762)