Specification and verification of a dynamic reconfiguration protocol for agent-based applications

MaRDI QIDQ2758935zbMATH OpenFDO

Authors Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noël de Palma

Publication date 2 May 2002

zbMATH Keywords

dynamic reconfigurationreconfiguration protocol

Mathematics Subject Classification ID

Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60) Learning and adaptive systems in artificial intelligence (68T05) Computing methodologies and applications (68U99)

Recommendations

• Formal specification and verification of dynamic parametrized architectures
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
• scientific article; zbMATH DE number 1759732
• A requirement specification language for configuration dynamics of multiagent systems
• scientific article; zbMATH DE number 2080586

Cited in

(5)

• Formal specification and verification of dynamic parametrized architectures
• Research on the dynamic reconfiguration of Web application using two-phase compatibility verification
• scientific article; zbMATH DE number 2080586 (Why is no real title available?)
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
• Equivalence checking 40 years after: a review of bisimulation tools

This page was built for publication: Specification and verification of a dynamic reconfiguration protocol for agent-based applications

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