Computational Science – ICCS 2005

DOI10.1007/B136575MaRDI QIDQ5709755zbMATH OpenOpenAlexFDO

Authors Sebastian Rodriguez, Vincent Hilaire, Abder Koukam

Publication date 30 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b136575

zbMATH Keywords

Holonic Multi-Agent Systems, self-organised system, formal specification, model checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99)

Recommendations

• Mechanizing Mathematical Reasoning
• scientific article; zbMATH DE number 2087354
• scientific article; zbMATH DE number 1759732
• Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework
• scientific article; zbMATH DE number 1949606

Cited in

(18)

• Modelling resilient collaborative multi-agent systems
• Agent coordination contexts for the formal specification and enactment of coordination and security policies
• scientific article; zbMATH DE number 1614647 (Why is no real title available?)
• Mobile agent system framework suitable for scalable networks
• Multiple mobile agent system framework suitable for pervasive computing
• Formal Specification of Multi-agent Systems by Using EUSMs
• scientific article; zbMATH DE number 5310813 (Why is no real title available?)
• Executable specification of open multi-agent systems
• Specification and Verification of Multi-agent Systems
• Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework
• scientific article; zbMATH DE number 1949606 (Why is no real title available?)
• scientific article; zbMATH DE number 2080358 (Why is no real title available?)
• scientific article; zbMATH DE number 2080592 (Why is no real title available?)
• scientific article; zbMATH DE number 1773067 (Why is no real title available?)
• scientific article; zbMATH DE number 2087354 (Why is no real title available?)
• Formal specification of substitutability property for fault-tolerance in reactive autonomic systems
• Mechanizing Mathematical Reasoning
• A logical framework for reasoning about local and global properties of collective systems

This page was built for publication: Computational Science – ICCS 2005

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